int fd = open( path, O_RDWR | O_CLOEXEC );

// for level-triggered interrupts:
setup_irq();
uio_irqenable( fd );
when fd readable {
    uio_wfi( fd );
    handle_irq();
    uio_irqenable( fd );
}

// for edge-triggered interrupts:
uio_irqenable( fd );
setup_irq();
when fd readable {
    uio_wfi( fd );
    uio_irqenable( fd );
    handle_irq();
}