linux/include/linux/kasan-tags.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _LINUX_KASAN_TAGS_H
#define _LINUX_KASAN_TAGS_H

#define KASAN_TAG_KERNEL
#define KASAN_TAG_INVALID
#define KASAN_TAG_MAX

#ifdef CONFIG_KASAN_HW_TAGS
#define KASAN_TAG_MIN
#else
#define KASAN_TAG_MIN
#endif

#endif /* LINUX_KASAN_TAGS_H */