Searched defs:u32High (Results 1 - 2 of 2) sorted by relevance
| /vbox/src/VBox/Runtime/tools/ |
| H A D | RTLdrFlt.cpp | 88 uint32_t u32High; local
89 int rc = RTStrToUInt32Ex(psz, NULL, 16, &u32High);
100 *pu64Address = RT_MAKE_U64(u32Low, u32High);
|
| /vbox/src/VBox/HostDrivers/Support/linux/ |
| H A D | SUPDrv-linux.c | 945 uint32_t u32Low, u32High; local
949 rc = rdmsr_safe(uMsr, &u32Low, &u32High);
951 rc = rdmsr_safe_on_cpu(idCpu, uMsr, &u32Low, &u32High);
956 *puValue = RT_MAKE_U64(u32Low, u32High);
|
Completed in 52 milliseconds