Searched refs:icrh (Results 1 – 1 of 1) sorted by relevance
| /linux/arch/x86/kvm/svm/ |
| H A D | avic.c | 517 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus_fast() argument
528 dest = icrh; in avic_kick_target_vcpus_fast()
530 dest = GET_XAPIC_DEST_FIELD(icrh); in avic_kick_target_vcpus_fast()
585 u32 icrl, u32 icrh, u32 index) in avic_kick_target_vcpus() argument
587 u32 dest = apic_x2apic_mode(source) ? icrh : GET_XAPIC_DEST_FIELD(icrh); in avic_kick_target_vcpus()
591 if (!avic_kick_target_vcpus_fast(kvm, source, icrl, icrh, index)) in avic_kick_target_vcpus()
594 trace_kvm_avic_kick_vcpu_slowpath(icrh, icrl, index); in avic_kick_target_vcpus()
612 u32 icrh = svm->vmcb->control.exit_info_1 >> 32; in avic_incomplete_ipi_interception() local
618 trace_kvm_avic_incomplete_ipi(vcpu->vcpu_id, icrh, icrl, id, index); in avic_incomplete_ipi_interception()
638 kvm_apic_send_ipi(apic, icrl, icrh); in avic_incomplete_ipi_interception()
[all …]
|