#ifndef _DEVICES_INTERRUPT_H
#define _DEVICES_INTERRUPT_H

#include <stdint.h>

#define irq_t void*

static inline void irq_init(volatile irq_t* reg) {}

#endif /* _DEVICES_INTERRUPT_H */