Searched refs:psci_version (Results 1 – 5 of 5) sorted by relevance
241 uint64_t psci_version = 0; in host_test_system_off2() local248 psci_version = vcpu_get_reg(target, KVM_REG_ARM_PSCI_VERSION); in host_test_system_off2()250 TEST_ASSERT(psci_version >= PSCI_VERSION(1, 3), in host_test_system_off2()252 PSCI_VERSION_MAJOR(psci_version), in host_test_system_off2()253 PSCI_VERSION_MINOR(psci_version)); in host_test_system_off2()
32 if (vcpu->kvm->arch.psci_version) in kvm_psci_version()33 return vcpu->kvm->arch.psci_version; in kvm_psci_version()
587 vcpu->kvm->arch.psci_version = val; in kvm_arm_set_fw_reg()596 vcpu->kvm->arch.psci_version = val; in kvm_arm_set_fw_reg()
80 psci_version = <0x84000000>;
322 u32 psci_version; member