# kernel_cfg.c
sigmask_table
sigmask_disint_init

# target_config.c
sigmask_intlock
sigmask_cpulock
lock_flag
saved_sigmask
ipm_value
sigmask_disint
dispatch
exit_and_dispatch
ret_int
ret_exc
call_exit_kernel
start_r
target_check_cint
target_check_dexc
target_initialize
target_prepare
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
