Searched refs:vcpu_offset (Results 1 – 3 of 3) sorted by relevance
240 int cpu, vcpu, vcpu_bank, vcpu_offset, nr_bank = 1; in __cpumask_to_vpset() local265 vcpu_offset = vcpu % HV_VCPUS_PER_SPARSE_BANK; in __cpumask_to_vpset()266 __set_bit(vcpu_offset, (unsigned long *) in __cpumask_to_vpset()
113 if (ctxt->offset.vcpu_offset) in timer_get_offset()114 offset += *ctxt->offset.vcpu_offset; in timer_get_offset()757 offs->vcpu_offset = NULL; in kvm_timer_vcpu_load_nested_switch()759 offs->vcpu_offset = &__vcpu_sys_reg(vcpu, CNTVOFF_EL2); in kvm_timer_vcpu_load_nested_switch()962 offs->vcpu_offset = &__vcpu_sys_reg(vcpu, CNTVOFF_EL2); in kvm_timer_vcpu_reset()1157 val = *timer->offset.vcpu_offset; in kvm_arm_timer_read()1211 *timer->offset.vcpu_offset = val; in kvm_arm_timer_write()
40 u64 *vcpu_offset; member