Symbol: PCIC_SIA_START_HIGH
sys/dev/pci/pccbb.c
2138
Pcic_write(sc, regbase_win + PCIC_SIA_START_HIGH,
sys/dev/pci/pccbb.c
2171
Pcic_read(sc, regbase_win + PCIC_SIA_START_HIGH);