# chip_config.c
current_intpri
chip_initialize
chip_terminate
x_config_int
chip_mask_interrupt
chip_unmask_interrupt

# chip_support.S
chip_exc_entry
chip_int_entry
chip_fiq_entry

# kernel_cfg.c
intpri_table
iipm_mask_table
inh_table
exc_table

INCLUDE "arm64_gcc/common/core"