Searched defs:TimerIndex (Results 1 - 2 of 2) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/ |
| H A D | HpetTimer.c | 755 UINTN TimerIndex; local
804 for (TimerIndex = 0; TimerIndex <= mHpetGeneralCapabilities.Bits.NumberOfTimers; TimerIndex++) {
805 DEBUG ((DEBUG_INFO, " HPET_TIMER%d_CONFIGURATION = 0x%016lx\n", TimerIndex, HpetRead (HPET_TIMER_CONFIGURATION_OFFSET + TimerIndex * HPET_TIMER_STRIDE)));
806 DEBUG ((DEBUG_INFO, " HPET_TIMER%d_COMPARATOR = 0x%016lx\n", TimerIndex, HpetRead (HPET_TIMER_COMPARATOR_OFFSET + TimerIndex * HPET_TIMER_STRIDE)));
807 DEBUG ((DEBUG_INFO, " HPET_TIMER%d_MSI_ROUTE = 0x%016lx\n", TimerIndex, HpetRead (HPET_TIMER_MSI_ROUTE_OFFSET + TimerIndex * HPET_TIMER_STRID
[all...] |
| /vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/ |
| H A D | CpuDxe.c | 544 @param TimerIndex - Specifies which CPU timer is requested.
559 @retval EFI_INVALID_PARAMETER - TimerIndex is not valid or TimerValue is NULL.
566 IN UINT32 TimerIndex,
575 if (TimerIndex != 0) {
564 CpuGetTimerValue( IN EFI_CPU_ARCH_PROTOCOL *This, IN UINT32 TimerIndex, OUT UINT64 *TimerValue, OUT UINT64 *TimerPeriod OPTIONAL ) argument
|
Completed in 113 milliseconds