1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2020 IBM Corporation
4 */
5
6#ifndef _ASM_POWERPC_KVM_GUEST_H_
7#define _ASM_POWERPC_KVM_GUEST_H_
8
9#if defined(CONFIG_PPC_PSERIES) || defined(CONFIG_KVM_GUEST)
10#include <linux/jump_label.h>
11
12DECLARE_STATIC_KEY_FALSE(kvm_guest);
13
14static inline bool is_kvm_guest(void)
15{
16	return static_branch_unlikely(&kvm_guest);
17}
18
19int __init check_kvm_guest(void);
20#else
21static inline bool is_kvm_guest(void) { return false; }
22static inline int check_kvm_guest(void) { return 0; }
23#endif
24
25#endif /* _ASM_POWERPC_KVM_GUEST_H_ */
26