# target_kernel_impl.c
target_initialize
target_exit

# target_timer.c
target_ovrtimer_initialize
target_ovrtimer_terminate
target_ovrtimer_start
target_ovrtimer_stop
target_ovrtimer_get_current
target_ovrtimer_handler

# trace_config.c
log_dsp_enter
log_dsp_leave
log_inh_enter
log_inh_leave
log_exc_enter
log_exc_leave

INCLUDE "chip"
