Branch data     Line data    Source code

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