void blkfront_handler(evtchn_port_t port, struct pt_regs *regs, void *data) { minios_wake_up(&blkfront_queue); }
static void queue_wakeup(struct xenbus_event_queue *queue) { minios_wake_up(&queue->waitq); }