Searched refs:minios_bind_pirq (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Devents.h30 evtchn_port_t minios_bind_pirq(uint32_t pirq, int will_share, evtchn_handler_t handler, void *data);
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A Drumphyper_pci.c109 prt = minios_bind_pirq(pirq, 1, hyperhandler, ihan);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Devents.c192 evtchn_port_t minios_bind_pirq(uint32_t pirq, int will_share, function

Completed in 30 milliseconds