vcpu_hvtimer
map->direct_vtimer = vcpu_hvtimer(vcpu);
map->emul_vtimer = vcpu_hvtimer(vcpu);
timer = vcpu_hvtimer(vcpu);
ctx = is_hyp_ctxt(vcpu) ? vcpu_hvtimer(vcpu) : vcpu_vtimer(vcpu);
now -= timer_get_offset(vcpu_hvtimer(vcpu));
val = compute_counter_value(vcpu_hvtimer(vcpu));