Symbol: PIIX_PCIB_MBIRQ0
sys/arch/atari/pci/pci_machdep.c
481
csr = pci_conf_read(pc, tag, PIIX_PCIB_MBIRQ0);
sys/arch/atari/pci/pci_machdep.c
485
pci_conf_write(pc, tag, PIIX_PCIB_MBIRQ0, csr);