1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * Copyright (C) 2012,2013 - ARM Ltd
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 */
6
7 #ifndef __KVM_ARM_PSCI_H__
8 #define __KVM_ARM_PSCI_H__
9
10 #include <linux/kvm_host.h>
11 #include <uapi/linux/psci.h>
12
13 #define KVM_ARM_PSCI_0_1 PSCI_VERSION(0, 1)
14 #define KVM_ARM_PSCI_0_2 PSCI_VERSION(0, 2)
15 #define KVM_ARM_PSCI_1_0 PSCI_VERSION(1, 0)
16 #define KVM_ARM_PSCI_1_1 PSCI_VERSION(1, 1)
17
18 #define KVM_ARM_PSCI_LATEST KVM_ARM_PSCI_1_1
19
20 static inline int kvm_psci_version(struct kvm_vcpu *vcpu)
21 {
22 /*
23 * Our PSCI implementation stays the same across versions from
24 * v0.2 onward, only adding the few mandatory functions (such
25 * as FEATURES with 1.0) that are required by newer
26 * revisions. It is thus safe to return the latest, unless
27 * userspace has instructed us otherwise.
28 */
29 if (vcpu_has_feature(vcpu, KVM_ARM_VCPU_PSCI_0_2)) {
30 if (vcpu->kvm->arch.psci_version)
31 return vcpu->kvm->arch.psci_version;
32
33 return KVM_ARM_PSCI_LATEST;
34 }
35
36 return KVM_ARM_PSCI_0_1;
37 }
38
39
40 int kvm_psci_call(struct kvm_vcpu *vcpu);
41
42 #endif /* __KVM_ARM_PSCI_H__ */
43
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.