__copy_inst_from_kernel_nofault
return __copy_inst_from_kernel_nofault(inst, src);
if (__copy_inst_from_kernel_nofault(jmp + 1, (void *)addr + 4))
if (__copy_inst_from_kernel_nofault(jmp + 2, (void *)addr + 8))
if (__copy_inst_from_kernel_nofault(jmp + 3, (void *)addr + 12))