xen_intr_handle_t
xen_intr_handle_t sc_xih;
xen_intr_handle_t sc_xih;
xen_intr_schedule(xen_intr_handle_t xih)
xen_intr_barrier(xen_intr_handle_t xih)
xen_intr_signal(xen_intr_handle_t xih)
xen_intr_establish(evtchn_port_t port, xen_intr_handle_t *xih, int domain,
xen_intr_disestablish(xen_intr_handle_t xih)
xen_intr_mask(xen_intr_handle_t xih)
xen_intr_unmask(xen_intr_handle_t xih)
xen_intr_handle_t xs_ih;
void xen_intr_signal(xen_intr_handle_t);
void xen_intr_schedule(xen_intr_handle_t);
void xen_intr_barrier(xen_intr_handle_t);
int xen_intr_establish(evtchn_port_t, xen_intr_handle_t *, int,
int xen_intr_disestablish(xen_intr_handle_t);
void xen_intr_mask(xen_intr_handle_t);
int xen_intr_unmask(xen_intr_handle_t);