# 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"