# target_config.c
dispatch
start_dispatch
exit_and_dispatch
ret_int
ret_exc
call_exit_kernel
start_r
target_initialize
target_exit

# target_timer.c
target_timer_get_current
target_timer_probe_int
target_ovrtimer_start
target_ovrtimer_stop
target_ovrtimer_get_current

# trace_config.c
log_dsp_enter
log_dsp_leave
log_inh_enter
log_inh_leave
log_exc_enter
log_exc_leave
