#ifndef _DEVICES_INTERRUPT_H
#define _DEVICES_INTERRUPT_H
#include <stdint.h>
#define irq_t void*
inline void irq_init(volatile irq_t* reg){
}
#endif /* _DEVICES_INTERRUPT_H */