Searched refs:kvm_vcpu_get_idx (Results 1 – 5 of 5) sorted by relevance
82 return test_bit(kvm_vcpu_get_idx(vcpu), vcpu->kvm->arch.idle_mask); in is_vcpu_idle()
422 set_bit(kvm_vcpu_get_idx(vcpu), vcpu->kvm->arch.idle_mask); in __set_cpu_idle()428 clear_bit(kvm_vcpu_get_idx(vcpu), vcpu->kvm->arch.idle_mask); in __unset_cpu_idle()
4040 clear_bit(kvm_vcpu_get_idx(vcpu), vcpu->kvm->arch.gisa_int.kicked_mask); in vcpu_pre_run()
905 hv_vcpu->vp_index = kvm_vcpu_get_idx(vcpu); in kvm_hv_vcpu_postcreate()1230 int vcpu_idx = kvm_vcpu_get_idx(vcpu); in kvm_hv_set_msr()
608 static inline int kvm_vcpu_get_idx(struct kvm_vcpu *vcpu) in kvm_vcpu_get_idx() function