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
20unsigned long powerpc_firmware_features __read_mostly;
21EXPORT_SYMBOL_GPL(powerpc_firmware_features);
22#endif
23
24#if defined(CONFIG_PPC_PSERIES) || defined(CONFIG_KVM_GUEST)
25DEFINE_STATIC_KEY_FALSE(kvm_guest);
26EXPORT_SYMBOL_GPL(kvm_guest);
27
28int __init check_kvm_guest(void)
29{
30	struct device_node *hyper_node;
31
32	hyper_node = of_find_node_by_path("/hypervisor");
33	if (!hyper_node)
34		return 0;
35
36	if (of_device_is_compatible(hyper_node, "linux,kvm"))
37		static_branch_enable(&kvm_guest);
38
39	of_node_put(hyper_node);
40	return 0;
41}
42core_initcall(check_kvm_guest); // before kvm_guest_init()
43#endif
44