# kernel_cfg.c
ipm_mask_tbl
inh_tbl

# target_config.c
idf
ipm
inh_ipm_tbl
bitpat_cfgint
x_config_int
target_exit
target_initialize
default_int_handler

# target_support.S
undef_handler
swi_handler
prefetch_handler
data_abort_handler
interrupt_handler
fiq_handler

# target_timer.c
target_timer_get_current
target_timer_probe_int

# trace_config.c
log_dsp_enter
log_dsp_leave
log_inh_enter
log_inh_leave
log_exc_enter
log_exc_leave

INCLUDE "arm_gcc/common/core"
