Searched refs:icr_high (Results 1 – 1 of 1) sorted by relevance
488 u32 icr_high = apic_get_reg(apic, APIC_ICR2); in apic_send_ipi() local498 irq.dest_id = icr_high; in apic_send_ipi()500 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); in apic_send_ipi()507 icr_high, icr_low, irq.shorthand, irq.dest_id, in apic_send_ipi()