ibex_demo/include/ibex_system.h

#ifndef __IBEX_SYSTEM_H
#define __IBEX_SYSTEM_H

void __enable_irqs(void);
void __disable_irqs(void);

#endif