ktime_to_tick
delta = ktime_to_tick(vcpu, ktime_sub(expire, now));
delta = ktime_to_tick(vcpu, ktime_sub(now, expire));