#ifndef INTERRUPT_UTILS_H
#define INTERRUPT_UTILS_H

#include <stdint.h>

uint32_t read_interrupt_type(void);

#endif /* INTERRUPT_UTILS_H */