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

/vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/PlatformPei/
H A DXen.c52 UINT32 XenVersion; local
66 AsmCpuid (XenLeaf + 1, &XenVersion, NULL, NULL, NULL);
68 XenVersion >> 16, XenVersion & 0xFFFF));
69 mXenInfo.VersionMajor = (UINT16)(XenVersion >> 16);
70 mXenInfo.VersionMinor = (UINT16)(XenVersion & 0xFFFF);

Completed in 133 milliseconds