Symbol: PCIC_SIA_START_HIGH
sys/dev/pci/pccbb.c
1800
Pcic_write(ph, regbase_win + PCIC_SIA_START_HIGH,
sys/dev/pci/pccbb.c
1833
Pcic_read(ph, regbase_win + PCIC_SIA_START_HIGH);