# kernel_cfg.c
sigmask_table
sigmask_disint_init

# target_kernel_impl.c
sigmask_intlock
sigmask_cpulock
lock_flag
saved_sigmask
intpri_value
sigmask_disint
dispatch
exit_and_dispatch
call_exit_kernel
start_r
target_initialize
target_exit

# target_timer.c
target_timer_initialize
target_timer_terminate
target_hrt_get_current
target_hrt_set_event
target_hrt_raise_event
target_ovrtimer_start
target_ovrtimer_stop
target_ovrtimer_get_current
target_timer_handler

# trace_config.c
log_dsp_enter
log_dsp_leave
log_inh_enter
log_inh_leave
log_exc_enter
log_exc_leave
