Home
last modified time | relevance | path

Searched refs:EFI_XEN_INFO (Results 1 – 3 of 3) sorted by relevance

/device/linaro/bootloader/edk2/OvmfPkg/Library/XenHypercallLib/
DX86XenHypercall.c64 EFI_XEN_INFO *XenInfo; in XenHypercallLibInit()
76 XenInfo = (EFI_XEN_INFO *) GET_GUID_HOB_DATA (GuidHob); in XenHypercallLibInit()
/device/linaro/bootloader/edk2/OvmfPkg/Include/Guid/
DXenInfo.h38 } EFI_XEN_INFO; typedef
/device/linaro/bootloader/edk2/OvmfPkg/PlatformPei/
DXen.c41 EFI_XEN_INFO mXenInfo;