__put_kernel_nofault
__put_kernel_nofault(patch_addr, &val32, u32, failed);
__put_kernel_nofault(patch_addr, &val, u64, failed);
__put_kernel_nofault(addr, &val, u64, failed);
__put_kernel_nofault(addr, &val, u32, failed);
__put_kernel_nofault(dst, src, type, err_label); \