- i -

• ibex_exc_t : ibex.h
• ibex_internal_irq_t : ibex.h
• ibex_timeout_t : ibex.h