Searched refs:psci_version (Results 1 – 3 of 3) sorted by relevance
239 u64 psci_version = 0; in host_test_system_off2() local246 psci_version = vcpu_get_reg(target, KVM_REG_ARM_PSCI_VERSION); in host_test_system_off2()248 TEST_ASSERT(psci_version >= PSCI_VERSION(1, 3), in host_test_system_off2()250 PSCI_VERSION_MAJOR(psci_version), in host_test_system_off2()251 PSCI_VERSION_MINOR(psci_version)); in host_test_system_off2()
80 psci_version = <0x84000000>;
336 u32 psci_version; member