Searched refs:icr_high (Results 1 – 1 of 1) sorted by relevance
1199 u32 icr_high = kvm_lapic_get_reg(apic, APIC_ICR2); in apic_send_ipi() local1210 irq.dest_id = icr_high; in apic_send_ipi()1212 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); in apic_send_ipi()1220 icr_high, icr_low, irq.shorthand, irq.dest_id, in apic_send_ipi()
