Searched refs:MainCounter (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/
H A DHpetTimer.c301 UINT64 MainCounter; local
329 MainCounter = HpetRead (HPET_MAIN_COUNTER_OFFSET);
341 if ((mPreviousMainCounter < MainCounter) && (mPreviousComparator > Comparator)) {
346 } else if ((mPreviousMainCounter > MainCounter) && (mPreviousComparator < Comparator)) {
350 HpetWrite (HPET_TIMER_COMPARATOR_OFFSET + mTimerIndex * HPET_TIMER_STRIDE, (MainCounter + mTimerCount) & mCounterMask);
355 if (Comparator > MainCounter) {
358 HpetWrite (HPET_TIMER_COMPARATOR_OFFSET + mTimerIndex * HPET_TIMER_STRIDE, (MainCounter + mTimerCount) & mCounterMask);
374 if (MainCounter > mPreviousMainCounter) {
378 Delta = MainCounter - mPreviousMainCounter;
383 Delta = (mCounterMask - mPreviousMainCounter) + MainCounter;
495 UINT64 MainCounter; local
674 UINT64 MainCounter; local
[all...]

Completed in 309 milliseconds