#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 */