hrtimer_get_remaining
remaining = hrtimer_get_remaining(&ps->timer);
hrtimer_get_remaining(&to_vmx(vcpu)->nested.preemption_timer);
ktime_t remaining = hrtimer_get_remaining(&hwc->hrtimer);