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#define KVM_ARM_PSCI_1_2	PSCI_VERSION(1, 2)
18#define KVM_ARM_PSCI_1_3	PSCI_VERSION(1, 3)
19
20#define KVM_ARM_PSCI_LATEST	KVM_ARM_PSCI_1_3
21
22static inline int kvm_psci_version(struct kvm_vcpu *vcpu)
23{
24	/*
25	 * Our PSCI implementation stays the same across versions from
26	 * v0.2 onward, only adding the few mandatory functions (such
27	 * as FEATURES with 1.0) that are required by newer
28	 * revisions. It is thus safe to return the latest, unless
29	 * userspace has instructed us otherwise.
30	 */
31	if (vcpu_has_feature(vcpu, KVM_ARM_VCPU_PSCI_0_2)) {
32		if (vcpu->kvm->arch.psci_version)
33			return vcpu->kvm->arch.psci_version;
34
35		return KVM_ARM_PSCI_LATEST;
36	}
37
38	return KVM_ARM_PSCI_0_1;
39}
40
41
42int kvm_psci_call(struct kvm_vcpu *vcpu);
43
44#endif /* __KVM_ARM_PSCI_H__ */