Symbol: PCIC_SMM_STOP_HIGH
sys/dev/pci/pccbb.c
2600
Pcic_write(sc, regbase_win + PCIC_SMM_STOP_HIGH, stop_high);
sys/dev/pci/pccbb.c
2622
r4 = Pcic_read(sc, regbase_win + PCIC_SMM_STOP_HIGH);