HomeSort by relevance Sort by last modified time
    Searched refs:XenInfo (Results 1 - 4 of 4) sorted by null

  /device/linaro/bootloader/edk2/OvmfPkg/Library/XenHypercallLib/
X86XenHypercall.c 18 #include <Guid/XenInfo.h>
64 EFI_XEN_INFO *XenInfo;
76 XenInfo = (EFI_XEN_INFO *) GET_GUID_HOB_DATA (GuidHob);
77 HyperPage = XenInfo->HyperPages;
  /device/linaro/bootloader/edk2/OvmfPkg/SmbiosPlatformDxe/
X86Xen.c 19 #include <Guid/XenInfo.h>
75 // See if a XenInfo HOB is available
  /device/linaro/bootloader/edk2/OvmfPkg/PlatformPei/
Xen.c 29 #include <Guid/XenInfo.h>
  /device/linaro/bootloader/edk2/OvmfPkg/AcpiPlatformDxe/
Xen.c 19 #include <Guid/XenInfo.h>
39 // See if a XenInfo HOB is available

Completed in 357 milliseconds