# core_kernel_impl.c
exc_tbl
vector_table
lock_flag
saved_iipm
default_exc_handler
default_int_handler
config_int
core_initialize
core_terminate
bitpat_cfgint
set_exc_int_priority
enable_exc
disable_exc

# core_support.S
core_int_entry
core_exc_entry
ret_int
ret_int_r
ret_exc
svc_handler
svc_vector_tbl
start_r
dispatcher
dispatch
dispatch_r
start_dispatch
exit_and_dispatch
call_exit_kernel