Symbol: TI_SCI_ADDR_HIGH_SHIFT
drivers/firmware/ti_sci.c
3173
TI_SCI_ADDR_HIGH_SHIFT;
drivers/firmware/ti_sci.c
3304
(((u64)resp->bootvector_high << TI_SCI_ADDR_HIGH_SHIFT) &