Lines Matching defs:icrh
398 u32 icrl, u32 icrh, u32 index)
409 dest = icrh;
411 dest = GET_XAPIC_DEST_FIELD(icrh);
466 u32 icrl, u32 icrh, u32 index)
468 u32 dest = apic_x2apic_mode(source) ? icrh : GET_XAPIC_DEST_FIELD(icrh);
472 if (!avic_kick_target_vcpus_fast(kvm, source, icrl, icrh, index))
475 trace_kvm_avic_kick_vcpu_slowpath(icrh, icrl, index);
493 u32 icrh = svm->vmcb->control.exit_info_1 >> 32;
499 trace_kvm_avic_incomplete_ipi(vcpu->vcpu_id, icrh, icrl, id, index);
519 kvm_apic_send_ipi(apic, icrl, icrh);
527 avic_kick_target_vcpus(vcpu->kvm, apic, icrl, icrh, index);