evtchn_free_ring  359 drivers/xen/evtchn.c 	evtchn_free_ring(old_ring);
evtchn_free_ring  683 drivers/xen/evtchn.c 	evtchn_free_ring(u->ring);