Lines Matching defs:u64HpetConfig
261 uint64_t u64HpetConfig;
567 if (pThis->u64HpetConfig & HPET_CFG_ENABLE)
587 if (pThis->u64HpetConfig & HPET_CFG_ENABLE)
647 u32Value = (uint32_t)pThis->u64HpetConfig;
654 u32Value = (uint32_t)(pThis->u64HpetConfig >> 32);
665 if (pThis->u64HpetConfig & HPET_CFG_ENABLE)
726 uint32_t const iOldValue = (uint32_t)(pThis->u64HpetConfig);
748 pThis->u64HpetConfig = hpetUpdateMasked(u32NewValue, iOldValue, HPET_CFG_WRITE_MASK);
776 pThis->u64HpetConfig = hpetUpdateMasked((uint64_t)u32NewValue << 32,
777 pThis->u64HpetConfig,
779 Log(("write HPET_CFG + 4: %x -> %#llx\n", u32NewValue, pThis->u64HpetConfig));
874 if (pThis->u64HpetConfig & HPET_CFG_ENABLE)
980 && (pHpetTimer->CTX_SUFF(pHpet)->u64HpetConfig & HPET_CFG_LEGACY))
997 && !!(pThis->u64HpetConfig & HPET_CFG_ENABLE))
1074 pThis->u64HpetConfig, pThis->u64Isr,
1076 !!(pThis->u64HpetConfig & HPET_CFG_LEGACY) ? "on " : "off",
1138 SSMR3PutU64(pSSM, pThis->u64HpetConfig);
1189 SSMR3GetU64(pSSM, &pThis->u64HpetConfig);
1278 pThis->u64HpetConfig = 0;