Searched refs:vcpu_set_itc (Results 1 – 1 of 1) sorted by relevance
823 static void vcpu_set_itc(struct kvm_vcpu *vcpu, u64 val) in vcpu_set_itc() function1387 vcpu_set_itc(vcpu, imm); in kvm_mov_to_ar_imm()1395 vcpu_set_itc(vcpu, r2); in kvm_mov_to_ar_reg()