19#define TIMER_MINIMUM_VALUE 0
20#define TIMER_MAXIMUM_VALUE (0x100000000ULL - 1)
25#define DEFAULT_TIMER_TICK_DURATION 500000
32EmuTimerDriverInitialize (
39EmuTimerDriverRegisterHandler (
46EmuTimerDriverSetTimerPeriod (
53EmuTimerDriverGetTimerPeriod (
55 OUT UINT64 *TimerPeriod
60EmuTimerDriverGenerateSoftInterrupt (
VOID(EFIAPI * EFI_TIMER_NOTIFY)(IN UINT64 Time)
VOID EFIAPI NotifyFunction(IN EFI_EVENT Event, IN VOID *Context)