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

/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dblkfront.c55 void blkfront_handler(evtchn_port_t port, struct pt_regs *regs, void *data) function
95 minios_evtchn_alloc_unbound(dev->dom, blkfront_handler, dev, &dev->evtchn);

Completed in 28 milliseconds