evtchn_port_t     119 drivers/pci/xen-pcifront.c 	evtchn_port_t port = pdev->evtchn;
evtchn_port_t    1531 drivers/xen/events/events_base.c 	evtchn_port_t evtchn = evtchn_from_irq(irq);
evtchn_port_t      68 drivers/xen/evtchn.c 	evtchn_port_t *ring;
evtchn_port_t      90 drivers/xen/evtchn.c static void evtchn_free_ring(evtchn_port_t *ring)
evtchn_port_t     101 drivers/xen/evtchn.c static evtchn_port_t *evtchn_ring_entry(struct per_user_data *u,
evtchn_port_t     198 drivers/xen/evtchn.c 	count &= ~(sizeof(evtchn_port_t)-1);
evtchn_port_t     232 drivers/xen/evtchn.c 			sizeof(evtchn_port_t);
evtchn_port_t     233 drivers/xen/evtchn.c 		bytes2 = evtchn_ring_offset(u, p) * sizeof(evtchn_port_t);
evtchn_port_t     235 drivers/xen/evtchn.c 		bytes1 = (p - c) * sizeof(evtchn_port_t);
evtchn_port_t     254 drivers/xen/evtchn.c 	u->ring_cons += (bytes1 + bytes2) / sizeof(evtchn_port_t);
evtchn_port_t     266 drivers/xen/evtchn.c 	evtchn_port_t *kbuf = (evtchn_port_t *)__get_free_page(GFP_KERNEL);
evtchn_port_t     273 drivers/xen/evtchn.c 	count &= ~(sizeof(evtchn_port_t)-1);
evtchn_port_t     288 drivers/xen/evtchn.c 	for (i = 0; i < (count/sizeof(evtchn_port_t)); i++) {
evtchn_port_t     311 drivers/xen/evtchn.c 	evtchn_port_t *new_ring, *old_ring;
evtchn_port_t     816 drivers/xen/xen-scsiback.c 			evtchn_port_t evtchn)
evtchn_port_t      16 include/xen/interface/event_channel.h DEFINE_GUEST_HANDLE(evtchn_port_t);
evtchn_port_t      31 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      47 include/xen/interface/event_channel.h 	evtchn_port_t remote_port;
evtchn_port_t      49 include/xen/interface/event_channel.h 	evtchn_port_t local_port;
evtchn_port_t      66 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      82 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      95 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     106 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     116 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     131 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     147 include/xen/interface/event_channel.h 			evtchn_port_t port;
evtchn_port_t     167 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     178 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     139 include/xen/interface/sched.h     GUEST_HANDLE(evtchn_port_t) ports;