Searched refs:minios_unmask_evtchn (Results 1 - 11 of 11) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dhypervisor.h42 void minios_unmask_evtchn(uint32_t port);
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A Drumphyper_pci.c110 minios_unmask_evtchn(prt);
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Devtdev.c186 minios_unmask_evtchn(chans[i]);
322 minios_unmask_evtchn(bind_virq->port);
345 minios_unmask_evtchn(bind_intd->port);
368 minios_unmask_evtchn(bind_unbound->port);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dhypervisor.c97 inline void minios_unmask_evtchn(uint32_t port) function
H A Dblkfront.c218 minios_unmask_evtchn(dev->evtchn);
H A Dnetfront.c403 minios_unmask_evtchn(dev->evtchn);
H A Dpcifront.c263 minios_unmask_evtchn(dev->evtchn);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dtime.c235 minios_unmask_evtchn(port);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/
H A Dxencons_ring.c128 minios_unmask_evtchn(dev->evtchn);
H A Dxenbus.c180 minios_unmask_evtchn(dev->evtchn);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/
H A Dxenbus.c435 minios_unmask_evtchn(start_info.store_evtchn);

Completed in 143 milliseconds