# core_config.c
intnest
core_initialize
core_terminate
call_int_handler
call_exc_handler
call_fiq_handler
default_exc_handler
default_int_handler

# core_support.S
start_dispatch
call_exit_kernel
ret_int
ret_exc
ret_fiq
vectors
