1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Extracted from cputable.c
5 * Copyright (C) 2001 Ben. Herrenschmidt (benh@kernel.crashing.org)
7 * Modifications for ppc64:
8 * Copyright (C) 2003 Dave Engebretsen <engebret@us.ibm.com>
9 * Copyright (C) 2005 Stephen Rothwell, IBM Corporation
12 #include <linux/export.h>
13 #include <linux/cache.h>
16 #include <asm/firmware.h>
17 #include <asm/kvm_guest.h>
20 unsigned long powerpc_firmware_features __read_mostly
;
21 EXPORT_SYMBOL_GPL(powerpc_firmware_features
);
24 #if defined(CONFIG_PPC_PSERIES) || defined(CONFIG_KVM_GUEST)
25 DEFINE_STATIC_KEY_FALSE(kvm_guest
);
26 bool check_kvm_guest(void)
28 struct device_node
*hyper_node
;
30 hyper_node
= of_find_node_by_path("/hypervisor");
34 if (!of_device_is_compatible(hyper_node
, "linux,kvm"))
37 static_branch_enable(&kvm_guest
);