1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- /* SPDX-License-Identifier: GPL-2.0 */
- #ifndef _LINUX_KASAN_CHECKS_H
- #define _LINUX_KASAN_CHECKS_H
- #include <linux/types.h>
- /*
- * The annotations present in this file are only relevant for the software
- * KASAN modes that rely on compiler instrumentation, and will be optimized
- * away for the hardware tag-based KASAN mode. Use kasan_check_byte() instead.
- */
- /*
- * __kasan_check_*: Always available when KASAN is enabled. This may be used
- * even in compilation units that selectively disable KASAN, but must use KASAN
- * to validate access to an address. Never use these in header files!
- */
- #if defined(CONFIG_KASAN_GENERIC) || defined(CONFIG_KASAN_SW_TAGS)
- bool __kasan_check_read(const volatile void *p, unsigned int size);
- bool __kasan_check_write(const volatile void *p, unsigned int size);
- #else
- static inline bool __kasan_check_read(const volatile void *p, unsigned int size)
- {
- return true;
- }
- static inline bool __kasan_check_write(const volatile void *p, unsigned int size)
- {
- return true;
- }
- #endif
- /*
- * kasan_check_*: Only available when the particular compilation unit has KASAN
- * instrumentation enabled. May be used in header files.
- */
- #ifdef __SANITIZE_ADDRESS__
- #define kasan_check_read __kasan_check_read
- #define kasan_check_write __kasan_check_write
- #else
- static inline bool kasan_check_read(const volatile void *p, unsigned int size)
- {
- return true;
- }
- static inline bool kasan_check_write(const volatile void *p, unsigned int size)
- {
- return true;
- }
- #endif
- #endif
|