Symbol: PCIC_SMM_STOP_HIGH
sys/dev/pci/pccbb.c
2211
Pcic_write(ph, regbase_win + PCIC_SMM_STOP_HIGH, stop_high);
sys/dev/pci/pccbb.c
2233
r4 = Pcic_read(ph, regbase_win + PCIC_SMM_STOP_HIGH);