Searched refs:pinit (Results 1 – 1 of 1) sorted by relevance
19081 unsigned char *pinit; in tcc_add_runtime() local19097 pinit = section_ptr_add(init_section, 5); in tcc_add_runtime()19098 pinit[0] = 0xe8; in tcc_add_runtime()19099 put32(pinit + 1, -4); in tcc_add_runtime()