Searched refs:icr_high (Results 1 – 1 of 1) sorted by relevance
506 u32 icr_high = apic_get_reg(apic, APIC_ICR2); in apic_send_ipi() local516 irq.dest_id = icr_high; in apic_send_ipi()518 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); in apic_send_ipi()525 icr_high, icr_low, irq.shorthand, irq.dest_id, in apic_send_ipi()