11#include <Library/BaseLib.h>
12#include <Library/DebugLib.h>
14#include <Library/ResetSystemLib.h>
15#include <Library/UefiRuntimeServicesTableLib.h>
69 IN EFI_STATUS ResetStatus,
75 EfiResetPlatformSpecific,
96 IN EFI_RESET_TYPE ResetType,
97 IN EFI_STATUS ResetStatus,
99 IN VOID *ResetData OPTIONAL
115 case EfiResetShutdown:
121 case EfiResetPlatformSpecific:
VOID DirectResetCold(VOID)
VOID EFIAPI ResetWarm(VOID)
VOID EFIAPI ResetShutdown(VOID)
VOID EFIAPI ResetSystem(IN EFI_RESET_TYPE ResetType, IN EFI_STATUS ResetStatus, IN UINTN DataSize, IN VOID *ResetData OPTIONAL)
VOID EFIAPI InternalResetPlatformSpecific(IN EFI_STATUS ResetStatus, IN UINTN DataSize, IN VOID *ResetData)
VOID EFIAPI ResetPlatformSpecific(IN UINTN DataSize, IN VOID *ResetData)
VOID EFIAPI ResetCold(VOID)
EFI_RUNTIME_SERVICES * gRT