Searched refs:icr_high (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dlapic.c1000 u32 icr_high = kvm_apic_get_reg(apic, APIC_ICR2); apic_send_ipi() local
1011 irq.dest_id = icr_high; apic_send_ipi()
1013 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); apic_send_ipi()
1017 apic_debug("icr_high 0x%x, icr_low 0x%x, " apic_send_ipi()
1021 icr_high, icr_low, irq.shorthand, irq.dest_id, apic_send_ipi()

Completed in 54 milliseconds