1 /* SPDX-License-Identifier: GPL-2.0 */
2
3 /*
4 * Jailhouse paravirt detection
5 *
6 * Copyright (c) Siemens AG, 2015-2017
7 *
8 * Authors:
9 * Jan Kiszka <jan.kiszka@siemens.com>
10 */
11
12 #ifndef _ASM_X86_JAILHOUSE_PARA_H
13 #define _ASM_X86_JAILHOUSE_PARA_H
14
15 #include <linux/types.h>
16
17 #ifdef CONFIG_JAILHOUSE_GUEST
18 bool jailhouse_paravirt(void);
19 #else
20 static inline bool jailhouse_paravirt(void)
21 {
22 return false;
23 }
24 #endif
25
26 #endif /* _ASM_X86_JAILHOUSE_PARA_H */
27
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.