uv_read_rtc
if (uv_read_rtc(NULL) <= expires)
static u64 uv_read_rtc(struct clocksource *cs);
if ((head->next_cpu == bcpu && uv_read_rtc(NULL) >= *t) || force)
.read = uv_read_rtc,
return uv_rtc_set_timer(ced_cpu, delta + uv_read_rtc(NULL));