1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3  *  Extracted from cputable.c
4  *
5  *  Copyright (C) 2001 Ben. Herrenschmidt (benh@kernel.crashing.org)
6  *
7  *  Modifications for ppc64:
8  *      Copyright (C) 2003 Dave Engebretsen <engebret@us.ibm.com>
9  *  Copyright (C) 2005 Stephen Rothwell, IBM Corporation
10  */
11 
12 #include <linux/export.h>
13 #include <linux/cache.h>
14 #include <linux/of.h>
15 
16 #include <asm/firmware.h>
17 #include <asm/kvm_guest.h>
18 
19 #ifdef CONFIG_PPC64
20 unsigned long powerpc_firmware_features __read_mostly;
21 EXPORT_SYMBOL_GPL(powerpc_firmware_features);
22 #endif
23 
24 #if defined(CONFIG_PPC_PSERIES) || defined(CONFIG_KVM_GUEST)
25 DEFINE_STATIC_KEY_FALSE(kvm_guest);
check_kvm_guest(void)26 int __init check_kvm_guest(void)
27 {
28 	struct device_node *hyper_node;
29 
30 	hyper_node = of_find_node_by_path("/hypervisor");
31 	if (!hyper_node)
32 		return 0;
33 
34 	if (of_device_is_compatible(hyper_node, "linux,kvm"))
35 		static_branch_enable(&kvm_guest);
36 
37 	of_node_put(hyper_node);
38 	return 0;
39 }
40 core_initcall(check_kvm_guest); // before kvm_guest_init()
41 #endif
42