- i -

• ibex_mcause_read() : ibex.h
• ibex_mcycle_read() : ibex.h
• ibex_mepc_read() : ibex.h
• ibex_mepc_write() : ibex.h
• ibex_mtval_read() : ibex.h
• ibex_timeout_check() : ibex.h
• ibex_timeout_elapsed() : ibex.h
• ibex_timeout_init() : ibex.h
• icache_invalidate() : hart.h