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