Symbol: evtchn_ring_entry
drivers/xen/evtchn.c
184
*evtchn_ring_entry(u, prod) = evtchn->port;
drivers/xen/evtchn.c
259
if (copy_to_user(buf, evtchn_ring_entry(u, c), bytes1) ||