Intel Extensible Firmware Interface - Manual (Page 90)

Extensible Firmware Interface Specification
4-12 12/01/02 Version 1.10
//
// Miscellaneous Services
//
EFI_GET_NEXT_HIGH_MONO_COUNT
GetNextHighMonotonicCount;
EFI_RESET_SYSTEM ResetSystem;
} EFI_RUNTIME_SERVICES;
Parameters
Hdr The table header for the EFI Runtime Services Table.
This header contains the
EFI_RUNTIME_SERVICES_
SIGNATURE and EFI_RUNTIME_SERVICES_
REVISION values along with the size of the
EFI_RUNTIME_SERVICES_TABLE structure and a
32-bit CRC to verify that the contents of the EFI
Runtime Services Table are valid.
GetTime Returns the current time and date, and the time-keeping
capabilities of the platform.
SetTime Sets the current local time and date information.
GetWakeupTime Returns the current wakeup alarm clock setting.
SetWakeupTime Sets the system wakeup alarm clock time.
SetVirtualAddressMap Used by an OS loader to convert from physical
addressing to virtual addressing.
ConvertPointer Used by EFI components to convert internal pointers
when switching to virtual addressing.
GetVariable Returns the value of a variable.
GetNextVariableName Enumerates the current variable names.
SetVariable Sets the value of a variable.
GetNextHighMonotonicCount Returns the next high 32 bits of the platform’s
monotonic counter.
ResetSystem Resets the entire platform.