// SPDX-License-Identifier: GPL-2.0-only#include<linux/uaccess.h>#include<linux/kernel.h>boolcopy_from_kernel_nofault_allowed(constvoid*unsafe_src,size_tsize){/* highest bit set means kernel space */return(unsignedlong)unsafe_src>>(BITS_PER_LONG-1);}