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(path: "/hypervisor");
33 if (!hyper_node)
34 return 0;
35
36 if (of_device_is_compatible(device: hyper_node, "linux,kvm"))
37 static_branch_enable(&kvm_guest);
38
39 of_node_put(node: hyper_node);
40 return 0;
41}
42core_initcall(check_kvm_guest); // before kvm_guest_init()
43#endif
44

source code of linux/arch/powerpc/kernel/firmware.c