Searched defs:TransferReg (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/PlatformPei/ | ||
| H A D | Xen.c | 50 UINT32 TransferReg; local 54 AsmCpuid (XenLeaf + 2, &TransferPages, &TransferReg, NULL, NULL); 61 AsmWriteMsr64 (TransferReg, |
Completed in 31 milliseconds