PCIC_SMM_STOP_HIGH 2442 dev/pci/pccbb.c 	Pcic_write(ph, regbase_win + PCIC_SMM_STOP_HIGH, stop_high);
PCIC_SMM_STOP_HIGH 2464 dev/pci/pccbb.c 		r4 = Pcic_read(ph, regbase_win + PCIC_SMM_STOP_HIGH);