# kernel_cfg.c
inh_table
intcfg_table
exc_table

# core_support.S
dispatch
start_dispatch
exit_and_dispatch
call_exit_kernel
start_r
irq_handler
undef_handler
svc_handler
pabort_handler
dabort_handler
fiq_handler
current_cpsr
set_cpsr

# core_kernel_impl.c
excpt_nest_count
arm_mmu_initialize
core_initialize
core_terminate
xlog_sys
xlog_fsr
default_int_handler
default_exc_handler

# gic_kernel_impl.c
gicc_initialize
gicc_terminate
gicd_initialize
gicd_terminate

# gic_support.S
irc_begin_int
irc_end_int
irc_get_intpri
irc_begin_exc
irc_end_exc

# pl310.c
pl310_initialize
pl310_disable
pl310_invalidate_all
pl310_clean_and_invalidate_all

# target_kernel_impl.c
arm_tnum_memory_area
arm_memory_area