Symbol: PCIC_SMM_START_HIGH
sys/dev/pci/pccbb.c
2198
Pcic_write(ph, regbase_win + PCIC_SMM_START_HIGH, start_high);
sys/dev/pci/pccbb.c
2231
r2 = Pcic_read(ph, regbase_win + PCIC_SMM_START_HIGH);