Searched refs:system_gsis (Results 1 – 2 of 2) sorted by relevance
19 void xen_evtchn_create(unsigned int nr_gsis, qemu_irq *system_gsis);
305 void xen_evtchn_create(unsigned int nr_gsis, qemu_irq *system_gsis) in xen_evtchn_create() argument328 sysbus_connect_irq(SYS_BUS_DEVICE(s), i, system_gsis[i]); in xen_evtchn_create()