# prc_config.c
intnest
lock_flag
saved_ipl
start_dispatch
prc_initialize
prc_terminate
call_exit_kernel
x_config_int
interrupt_dispatch
intc_reg

# prc_support.a30

# kernel_cfg.c
intpri_table
