kobj_sync_instruction_memory
kobj_sync_instruction_memory(mp->text, mp->text_size);
kobj_sync_instruction_memory(mp->text, mp->text_size);
kobj_sync_instruction_memory(s_text, e_text - s_text);
extern void kobj_sync_instruction_memory(caddr_t, size_t);