Home
last modified time | relevance | path

Searched refs:xen_ulong_t (Results 1 – 4 of 4) sorted by relevance

/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/
Dxen.h59 DEFINE_XEN_GUEST_HANDLE(xen_ulong_t);
251 xen_ulong_t evtchn_pending_sel;
302 xen_ulong_t evtchn_pending[sizeof(xen_ulong_t) * 8];
303 xen_ulong_t evtchn_mask[sizeof(xen_ulong_t) * 8];
Dmemory.h60 xen_ulong_t idx;
/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-x86/
Dxen.h80 typedef UINTN xen_ulong_t; typedef
/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-arm/
Dxen.h290 typedef UINT64 xen_ulong_t; typedef