TI_SCI_ADDR_HIGH_SHIFT 2776 drivers/firmware/ti_sci.c 				TI_SCI_ADDR_HIGH_SHIFT;
TI_SCI_ADDR_HIGH_SHIFT 2903 drivers/firmware/ti_sci.c 		      (((u64)resp->bootvector_high << TI_SCI_ADDR_HIGH_SHIFT) &