Searched refs:vcpu_offset (Results 1 – 3 of 3) sorted by relevance
40 u64 *vcpu_offset; member 175 if (ctxt->offset.vcpu_offset) in timer_get_offset() 176 offset += *ctxt->offset.vcpu_offset; in timer_get_offset()
259 int cpu, vcpu, vcpu_bank, vcpu_offset, nr_bank = 1; in __cpumask_to_vpset() local 284 vcpu_offset = vcpu % HV_VCPUS_PER_SPARSE_BANK; in __cpumask_to_vpset() 285 __set_bit(vcpu_offset, (unsigned long *) in __cpumask_to_vpset()
798 if (ctxt->offset.vcpu_offset) in hyp_timer_get_offset() 799 offset += *kern_hyp_va(ctxt->offset.vcpu_offset); in hyp_timer_get_offset()