# gic_config.c
gicc_initialize
gicc_terminate
gicd_initialize
gicd_terminate

# gic_support.S
gic_exc_entry
gic_int_entry

# prc_config.c
intnest
prc_initialize
prc_terminate
x_config_int
default_exc_handler
default_int_handler
call_int_handler
call_exc_handler

# prc_support.S
start_dispatch
call_exit_kernel
ret_int
vectors

# kernel_cfg.c
intcfg_table
inh_table
exc_table
