Searched refs:PSCI_0_2_64BIT (Results 1 – 2 of 2) sorted by relevance
28 #define PSCI_0_2_64BIT 0x40000000 macro30 (PSCI_0_2_FN_BASE + PSCI_0_2_64BIT)
224 if ((fn & PSCI_0_2_64BIT) && vcpu_mode_is_32bit(vcpu)) in kvm_psci_check_allowed_function()