/* If this function returns, it means that the system does not support shutdown reset.  */
VOID EFIAPI ResetShutdown(VOID)
/* If this function returns, it means that the system does not support shutdown reset.  */
VOID EFIAPI ResetShutdown(VOID)
{
  ArmCallSmc0 (ARM_SMC_ID_PSCI_SYSTEM_OFF, NULL, NULL, NULL);
}