PC_CONF_FINALI_PCI_INTX_RT1
x = irqmap[read_pc_conf_nybble(PC_CONF_FINALI_PCI_INTX_RT1, index)];
write_pc_conf_nybble(PC_CONF_FINALI_PCI_INTX_RT1, index, val);