Searched refs:u32High (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/HostDrivers/Support/linux/
H A DSUPDrv-linux.c945 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 42 milliseconds