Symbol: PCIC_SMM_START_HIGH
sys/dev/pci/pccbb.c
2588
Pcic_write(sc, regbase_win + PCIC_SMM_START_HIGH, start_high);
sys/dev/pci/pccbb.c
2620
r2 = Pcic_read(sc, regbase_win + PCIC_SMM_START_HIGH);