xref: /linux/include/linux/kasan-checks.h (revision 71e2f4dd5a65bd8dbca0b77661e75eea471168f8)
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_KASAN_CHECKS_H
3 #define _LINUX_KASAN_CHECKS_H
4 
5 #include <linux/types.h>
6 
7 /*
8  * __kasan_check_*: Always available when KASAN is enabled. This may be used
9  * even in compilation units that selectively disable KASAN, but must use KASAN
10  * to validate access to an address.   Never use these in header files!
11  */
12 #ifdef CONFIG_KASAN
13 bool __kasan_check_read(const volatile void *p, unsigned int size);
14 bool __kasan_check_write(const volatile void *p, unsigned int size);
15 #else
16 static inline bool __kasan_check_read(const volatile void *p, unsigned int size)
17 {
18 	return true;
19 }
20 static inline bool __kasan_check_write(const volatile void *p, unsigned int size)
21 {
22 	return true;
23 }
24 #endif
25 
26 /*
27  * kasan_check_*: Only available when the particular compilation unit has KASAN
28  * instrumentation enabled. May be used in header files.
29  */
30 #ifdef __SANITIZE_ADDRESS__
31 #define kasan_check_read __kasan_check_read
32 #define kasan_check_write __kasan_check_write
33 #else
34 static inline bool kasan_check_read(const volatile void *p, unsigned int size)
35 {
36 	return true;
37 }
38 static inline bool kasan_check_write(const volatile void *p, unsigned int size)
39 {
40 	return true;
41 }
42 #endif
43 
44 #endif
45