stop_high        2053 dev/pci/pccbb.c 		u_int8_t stop_high =
stop_high        2057 dev/pci/pccbb.c 		    start_low, start_high, stop_low, stop_high, ioctl, enable);
stop_high        2403 dev/pci/pccbb.c 	u_int8_t stop_low, stop_high;
stop_high        2437 dev/pci/pccbb.c 	stop_high = ((phys_end >> PCIC_MEMREG_MSB_SHIFT) & 0x0f)
stop_high        2442 dev/pci/pccbb.c 	Pcic_write(ph, regbase_win + PCIC_SMM_STOP_HIGH, stop_high);