Symbol: TIMER_TIME_HIGH
drivers/clocksource/timer-goldfish.c
41
time_high = gf_ioread32(base + TIMER_TIME_HIGH);
drivers/rtc/rtc-goldfish.c
122
time_high = gf_ioread32(base + TIMER_TIME_HIGH);
drivers/rtc/rtc-goldfish.c
142
gf_iowrite32((now64 >> 32), base + TIMER_TIME_HIGH);