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
18bool jailhouse_paravirt(void);
19#else
20static inline bool jailhouse_paravirt(void)
21{
22 return false;
23}
24#endif
25
26#endif /* _ASM_X86_JAILHOUSE_PARA_H */
27