#ifndef _EXCEPTIONS_H_
#define _EXCEPTIONS_H_

#include <stdint.h>

extern void asm_set_ipl(uint32_t ipl);

#endif /* _EXCEPTIONS_H_ */