41 lines
944 B
C
41 lines
944 B
C
// SPDX-License-Identifier: GPL-2.0-or-later
|
|
/*
|
|
* Extracted from cputable.c
|
|
*
|
|
* Copyright (C) 2001 Ben. Herrenschmidt (benh@kernel.crashing.org)
|
|
*
|
|
* Modifications for ppc64:
|
|
* Copyright (C) 2003 Dave Engebretsen <engebret@us.ibm.com>
|
|
* Copyright (C) 2005 Stephen Rothwell, IBM Corporation
|
|
*/
|
|
|
|
#include <linux/export.h>
|
|
#include <linux/cache.h>
|
|
#include <linux/of.h>
|
|
|
|
#include <asm/firmware.h>
|
|
#include <asm/kvm_guest.h>
|
|
|
|
#ifdef CONFIG_PPC64
|
|
unsigned long powerpc_firmware_features __read_mostly;
|
|
EXPORT_SYMBOL_GPL(powerpc_firmware_features);
|
|
#endif
|
|
|
|
#if defined(CONFIG_PPC_PSERIES) || defined(CONFIG_KVM_GUEST)
|
|
DEFINE_STATIC_KEY_FALSE(kvm_guest);
|
|
bool check_kvm_guest(void)
|
|
{
|
|
struct device_node *hyper_node;
|
|
|
|
hyper_node = of_find_node_by_path("/hypervisor");
|
|
if (!hyper_node)
|
|
return false;
|
|
|
|
if (!of_device_is_compatible(hyper_node, "linux,kvm"))
|
|
return false;
|
|
|
|
static_branch_enable(&kvm_guest);
|
|
return true;
|
|
}
|
|
#endif
|