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 */