Pasted

#include "uio-irq.h"  // https://pastebin.com/w42Ti0Hz
 
// blocking, for level-triggered interrupts:
int fd = open( path, O_RDWR | O_CLOEXEC );
setup_irq();
loop {
    uio_irqenable( fd );
    uio_wfi( fd );
    handle_irq();
}
 
// blocking, for edge-triggered interrupts:
int fd = open( path, O_RDWR | O_CLOEXEC );
setup_irq();
loop {
    uio_irqenable( fd );
    handle_irq();
    uio_wfi( fd );
}
 
 
// non-blocking, for level-triggered interrupts:
int fd = open( path, O_RDWR | O_CLOEXEC | O_NONBLOCK );
setup_irq();
uio_irqenable( fd );
when fd readable {
    uio_wfi( fd );
    handle_irq();
    uio_irqenable( fd );
}
 
// non-blocking, for edge-triggered interrupts:
int fd = open( path, O_RDWR | O_CLOEXEC | O_NONBLOCK );
setup_irq();
uio_irqenable( fd );
handle_irq();
when fd readable {
    uio_wfi( fd );
    uio_irqenable( fd );
    handle_irq();
}