11#define WATCHDOG_TIMER_CALIBRATE_PER_SECOND 10000000
39 IN UINT64 WatchdogCode,
41 IN CHAR16 *WatchdogData OPTIONAL
49 if (gWatchdogTimer ==
NULL) {
56 Status = gWatchdogTimer->SetTimerPeriod (gWatchdogTimer,
MultU64x32 (Timeout, WATCHDOG_TIMER_CALIBRATE_PER_SECOND));
61 if (EFI_ERROR (Status)) {
62 return EFI_DEVICE_ERROR;
UINT64 EFIAPI MultU64x32(IN UINT64 Multiplicand, IN UINT32 Multiplier)
#define EFI_NOT_AVAILABLE_YET
EFI_STATUS EFIAPI CoreSetWatchdogTimer(IN UINTN Timeout, IN UINT64 WatchdogCode, IN UINTN DataSize, IN CHAR16 *WatchdogData OPTIONAL)