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