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

/vbox/src/VBox/Devices/PC/
H A DDevHPET.cpp281 DECLINLINE(bool) hpet32bitTimer(HPETTIMER *pHpetTimer) function
290 return hpet32bitTimer(pHpetTimer) ? UINT32_MAX : UINT64_MAX;
336 if (hpet32bitTimer(pHpetTimer))
400 if ( hpet32bitTimer(pHpetTimer)
577 if (!hpet32bitTimer(pHpetTimer))
1042 else if (hpet32bitTimer(pHpetTimer))

Completed in 47 milliseconds