arch_get_kernel_nofault
#ifdef arch_get_kernel_nofault
arch_get_kernel_nofault(dst, src, type, local_label); \