Searched refs:minios_unbind_evtchn (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Devents.h33 void minios_unbind_evtchn(evtchn_port_t port);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dtime.c242 minios_unbind_evtchn(port);
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Devtdev.c386 minios_unbind_evtchn(unbind->port);
427 minios_unbind_evtchn(i);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/
H A Dxenbus.c53 minios_unbind_evtchn(dev->evtchn);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Devents.c149 void minios_unbind_evtchn(evtchn_port_t port) function
H A Dblkfront.c69 minios_unbind_evtchn(dev->evtchn);
H A Dnetfront.c228 minios_unbind_evtchn(dev->evtchn);
H A Dpcifront.c52 minios_unbind_evtchn(dev->evtchn);

Completed in 44 milliseconds