Symbol: TIMER_VALUE_SHDW_HI
drivers/clocksource/timer-sprd.c
170
TIMER_VALUE_SHDW_HI);
drivers/clocksource/timer-sprd.c
173
} while (hi != readl_relaxed(timer_of_base(&suspend_to) + TIMER_VALUE_SHDW_HI));