Lines Matching refs:HPET_COUNTER
101 #define HPET_COUNTER 0x0f0 /**< Main HPET counter. */
622 * @remarks The caller must not own the device lock if HPET_COUNTER is read.
626 Assert(!PDMCritSectIsOwner(&pThis->CritSect) || (idxReg != HPET_COUNTER && idxReg != HPET_COUNTER + 4));
659 case HPET_COUNTER:
660 case HPET_COUNTER + 4:
673 u32Value = (idxReg == HPET_COUNTER) ? (uint32_t)u64Ticks : (uint32_t)(u64Ticks >> 32);
674 Log(("read HPET_COUNTER: %s part value %x (%#llx)\n",
675 (idxReg == HPET_COUNTER) ? "low" : "high", u32Value, u64Ticks));
802 case HPET_COUNTER:
806 Log(("write HPET_COUNTER: %#x -> %llx\n", u32NewValue, pThis->u64HpetCounter));
811 case HPET_COUNTER + 4:
815 Log(("write HPET_COUNTER + 4: %#x -> %llx\n", u32NewValue, pThis->u64HpetCounter));
869 if (idxReg == HPET_COUNTER)