Searched refs:psci_version (Results 1 – 3 of 3) sorted by relevance
536 vcpu->kvm->arch.psci_version = val; in kvm_arm_set_fw_reg()543 vcpu->kvm->arch.psci_version = val; in kvm_arm_set_fw_reg()
80 psci_version = <0x84000000>;
188 u32 psci_version; member