get_intr_mapping_reg
extern uint64_t *get_intr_mapping_reg(int, int);
if ((intr_mapping_reg = get_intr_mapping_reg(
extern uint64_t *get_intr_mapping_reg(int, int);
if ((intr_mapping_reg = get_intr_mapping_reg(