icr_high         1198 arch/x86/kvm/lapic.c static void apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high)
icr_high         1210 arch/x86/kvm/lapic.c 		irq.dest_id = icr_high;
icr_high         1212 arch/x86/kvm/lapic.c 		irq.dest_id = GET_APIC_DEST_FIELD(icr_high);