Searched refs:icr_high (Results 1 – 1 of 1) sorted by relevance
1199 static void apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high) in apic_send_ipi() argument1211 irq.dest_id = icr_high; in apic_send_ipi()1213 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); in apic_send_ipi()
