# prc_config.c
exc_tbl
vector_table
lock_flag
saved_iipm
default_exc_handler
default_int_handler
x_config_int
prc_initialize
prc_terminate
bitpat_cfgint
set_exc_int_priority
enable_exc
disable_exc

# prc_support.S
int_entry
exc_entry
ret_int
ret_exc
svc_handler
start_r
dispatch
start_dispatch
exit_and_dispatch
call_exit_kernel