Searched defs:u64CapPer (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/PC/
H A DDevHPET.cpp1136 uint64_t u64CapPer = RT_MAKE_U64(pThis->u32Capabilities, pThis->u32Period); local
1137 SSMR3PutU64(pSSM, u64CapPer);
1187 uint64_t u64CapPer; local
1188 SSMR3GetU64(pSSM, &u64CapPer);
1194 if (HPET_CAP_GET_TIMERS(RT_LO_U32(u64CapPer)) != cTimers)
1196 cTimers, (unsigned)HPET_CAP_GET_TIMERS(u64CapPer));
1197 pThis->u32Capabilities = RT_LO_U32(u64CapPer);
1198 pThis->u32Period = RT_HI_U32(u64CapPer);

Completed in 128 milliseconds