hot_patch_kernel_text
hot_patch_kernel_text((caddr_t)syscall_trap_patch_point,
hot_patch_kernel_text((caddr_t)syscall_trap32_patch_point,
hot_patch_kernel_text((caddr_t)syscall_trap_patch_point,
hot_patch_kernel_text((caddr_t)syscall_trap32_patch_point,
extern void hot_patch_kernel_text(caddr_t, uint32_t, uint_t);
hot_patch_kernel_text((caddr_t)instp, inst, 4);
hot_patch_kernel_text((caddr_t)instp, inst, 4);
call hot_patch_kernel_text; \
hot_patch_kernel_text((caddr_t)&instp->off, new_off, 4);
hot_patch_kernel_text((caddr_t)ep->tpe_addr,
hot_patch_kernel_text((caddr_t)ep->tpe_addr,