1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_KASAN_TAGS_H
3 #define _LINUX_KASAN_TAGS_H
4 
5 #define KASAN_TAG_KERNEL	0xFF /* native kernel pointers tag */
6 #define KASAN_TAG_INVALID	0xFE /* inaccessible memory tag */
7 #define KASAN_TAG_MAX		0xFD /* maximum value for random tags */
8 
9 #ifdef CONFIG_KASAN_HW_TAGS
10 #define KASAN_TAG_MIN		0xF0 /* minimum value for random tags */
11 #else
12 #define KASAN_TAG_MIN		0x00 /* minimum value for random tags */
13 #endif
14 
15 #endif /* LINUX_KASAN_TAGS_H */
16