start_high       2049 dev/pci/pccbb.c 		u_int8_t start_high =
start_high       2057 dev/pci/pccbb.c 		    start_low, start_high, stop_low, stop_high, ioctl, enable);
start_high       2402 dev/pci/pccbb.c 	u_int8_t start_low, start_high = 0;
start_high       2423 dev/pci/pccbb.c 	start_high = ((phys_addr >> PCIC_MEMREG_MSB_SHIFT) & 0x0f)
start_high       2429 dev/pci/pccbb.c 	Pcic_write(ph, regbase_win + PCIC_SMM_START_HIGH, start_high);