Home
last modified time | relevance | path

Searched refs:xen_pfn_t (Results 1 – 5 of 5) sorted by relevance

/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/
Dmemory.h63 xen_pfn_t gpfn;
79 xen_pfn_t gpfn;
Dxen.h58 DEFINE_XEN_GUEST_HANDLE(xen_pfn_t);
/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-x86/
Dxen.h69 typedef UINTN xen_pfn_t; typedef
91 xen_pfn_t pfn_to_mfn_frame_list_list;
/device/linaro/bootloader/edk2/OvmfPkg/XenBusDxe/
DGrantTable.c162 Parameters.gpfn = (xen_pfn_t) ((UINTN) GrantTable >> EFI_PAGE_SHIFT) + Index; in XenGrantTableInit()
186 Parameters.gpfn = (xen_pfn_t) ((UINTN) GrantTable >> EFI_PAGE_SHIFT) + Index; in XenGrantTableDeinit()
/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-arm/
Dxen.h283 typedef UINT64 xen_pfn_t; typedef