Searched refs:u32RoutingCap (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/PC/ | ||
H A D | DevHPET.cpp | 1267 uint32_t u32RoutingCap = 0xffffffff; local 1268 pHpetTimer->u64Config |= ((uint64_t)u32RoutingCap) << 32; |
Completed in 44 milliseconds