Cross Reference: /vbox/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/HpetTimer.c

Lines Matching defs:MainCounter
301   UINT64  MainCounter;
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;
403   mPreviousMainCounter = MainCounter;
495   UINT64                         MainCounter;
510       MainCounter = HpetRead (HPET_MAIN_COUNTER_OFFSET);
511       if (MainCounter < mPreviousMainCounter) {
512         Delta = (mCounterMask - mPreviousMainCounter) + MainCounter;
514         Delta = MainCounter - mPreviousMainCounter;
564     MainCounter = HpetRead (HPET_MAIN_COUNTER_OFFSET);
565     if (MainCounter > mPreviousMainCounter) {
566       Delta = MainCounter - mPreviousMainCounter;
568       Delta = (mCounterMask - mPreviousMainCounter) + MainCounter;
571       HpetWrite (HPET_TIMER_COMPARATOR_OFFSET + mTimerIndex * HPET_TIMER_STRIDE, (MainCounter + 1) & mCounterMask);
674   UINT64   MainCounter;
687   MainCounter = HpetRead (HPET_MAIN_COUNTER_OFFSET);
696     if (MainCounter > mPreviousMainCounter) {
700       Delta = MainCounter - mPreviousMainCounter;
705       Delta = (mCounterMask - mPreviousMainCounter) + MainCounter;
726   mPreviousMainCounter = MainCounter;