# prc_config.c
idf
iipm
inh_tbl
iipm_mask_tbl
inh_iipm_tbl
bitpat_cfgint
x_config_int
exch_tbl
int_bitmap_search_table

prc_initialize
prc_terminate

# prc_support.S
exception_entry
ret_int
ret_exc
start_r
