PCIC_SMM_START_HIGH 2429 dev/pci/pccbb.c 	Pcic_write(ph, regbase_win + PCIC_SMM_START_HIGH, start_high);
PCIC_SMM_START_HIGH 2462 dev/pci/pccbb.c 		r2 = Pcic_read(ph, regbase_win + PCIC_SMM_START_HIGH);