PSCI_0_2_64BIT
if ((fn & PSCI_0_2_64BIT) && vcpu_mode_is_32bit(vcpu))
(PSCI_0_2_FN_BASE + PSCI_0_2_64BIT)