Home
last modified time | relevance | path

Searched refs:evtchn_port_t (Results 1 – 6 of 6) sorted by relevance

/device/linaro/bootloader/edk2/OvmfPkg/Include/IndustryStandard/Xen/
Devent_channel.h68 typedef UINT32 evtchn_port_t; typedef
69 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
83 evtchn_port_t port;
94 evtchn_port_t port;
104 evtchn_port_t port;
/device/linaro/bootloader/edk2/OvmfPkg/XenBusDxe/
DEventChannel.h33 IN evtchn_port_t Port
55 OUT evtchn_port_t *Port
70 IN evtchn_port_t Port
85 IN evtchn_port_t Port
DEventChannel.c25 IN evtchn_port_t Port in XenEventChannelNotify()
41 OUT evtchn_port_t *Port in XenBusEventChannelAllocate()
64 IN evtchn_port_t Port in XenBusEventChannelNotify()
77 IN evtchn_port_t Port in XenBusEventChannelClose()
DXenStore.c164 evtchn_port_t EventChannel;
1060 xs.EventChannel = (evtchn_port_t)XenHypercallHvmGetParam (HVM_PARAM_STORE_EVTCHN); in XenStoreInit()
/device/linaro/bootloader/edk2/OvmfPkg/Include/Protocol/
DXenBus.h268 OUT evtchn_port_t *Port
283 IN evtchn_port_t Port
298 IN evtchn_port_t Port
/device/linaro/bootloader/edk2/OvmfPkg/XenPvBlkDxe/
DBlockFront.h55 evtchn_port_t EventChannel;