set hp_det gpio

hc

2024-08-12 233ab1bd4c5697f5cdec94e60206e8c6ac609b4c

1
2
3
4
5
6
7
8
9
// SPDX-License-Identifier: GPL-2.0-only
 
#include <linux/uaccess.h>
#include <linux/kernel.h>
 
bool copy_from_kernel_nofault_allowed(const void *unsafe_src, size_t size)
{
    return is_kernel_addr((unsigned long)unsafe_src);
}