Searched refs:icrh (Results 1 – 1 of 1) sorted by relevance
| /linux/arch/x86/kvm/svm/ |
| H A D | avic.c | 398 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus_fast() argument
409 dest = icrh; in avic_kick_target_vcpus_fast()
411 dest = GET_XAPIC_DEST_FIELD(icrh); in avic_kick_target_vcpus_fast()
466 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus() argument
468 u32 dest = apic_x2apic_mode(source) ? icrh : GET_XAPIC_DEST_FIELD(icrh); in avic_kick_target_vcpus()
472 if (!avic_kick_target_vcpus_fast(kvm, source, icrl, icrh, index)) in avic_kick_target_vcpus()
475 trace_kvm_avic_kick_vcpu_slowpath(icrh, icrl, index); in avic_kick_target_vcpus()
493 u32 icrh = svm->vmcb->control.exit_info_1 >> 32; in avic_incomplete_ipi_interception() local
499 trace_kvm_avic_incomplete_ipi(vcpu->vcpu_id, icrh, icrl, id, index); in avic_incomplete_ipi_interception()
519 kvm_apic_send_ipi(apic, icrl, icrh); in avic_incomplete_ipi_interception()
[all …]
|