# kernel_mem.c
section_table
page_table

# arm.c
dcache_enable
dcache_disable
icache_enable
icache_disable
cache_enable
cache_disable
mmu_init

# core_support.S
vector_table
vector_ref_tbl
dispatch
start_dispatch
exit_and_dispatch
call_exit_kernel
start_stask_r
start_utask_r
ret_int
ret_exc
ret_int_1
undef_handler
svc_handler
prefetch_handler
data_abort_handler
fiq_handler
current_sr
set_sr
call_ret_tex
prepare_texrtn_utask
ret_tex

# core_config.c
excpt_nest_count
core_initialize
core_terminate
x_install_exc
default_exc_handler
check_stack

# gic.c
gic_cpuif_init
gic_cpuif_stop
gic_dist_disable_int
gic_dist_enable_int
gic_dist_clear_pending
gic_dist_set_pending
gic_dist_probe_int
gic_dist_config
gic_dist_set_priority
gic_dist_set_target
gic_dist_init
gic_dist_stop

# gic_support.S
irq_handler
target_exc_handler
exch_tbl
enable_all_ipm
