xref: /linux/arch/x86/coco/sev/Makefile (revision a34b0e4e21d6be3c3d620aa7f9dfbf0e9550c19e)
1# SPDX-License-Identifier: GPL-2.0
2
3obj-y += core.o noinstr.o vc-handle.o
4
5# Clang 14 and older may fail to respect __no_sanitize_undefined when inlining
6UBSAN_SANITIZE_noinstr.o	:= n
7
8# GCC may fail to respect __no_sanitize_address or __no_kcsan when inlining
9KASAN_SANITIZE_noinstr.o	:= n
10KCSAN_SANITIZE_noinstr.o	:= n
11
12GCOV_PROFILE_noinstr.o		:= n
13