PSCI_1_0_FN64_SYSTEM_SUSPEND
case PSCI_1_0_FN64_SYSTEM_SUSPEND:
case PSCI_1_0_FN64_SYSTEM_SUSPEND:
case PSCI_1_0_FN64_SYSTEM_SUSPEND:
GUEST_ASSERT(!psci_features(PSCI_1_0_FN64_SYSTEM_SUSPEND));
do_smccc(PSCI_1_0_FN64_SYSTEM_SUSPEND, entry_addr, context_id,