Searched refs:icr_high (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/kernel/apic/ |
| H A D | x2apic_savic.c | 169 static void savic_icr_write(u32 icr_low, u32 icr_high) in savic_icr_write() argument 190 send_ipi_dest(icr_high, vector, nmi); in savic_icr_write() 194 icr_data = ((u64)icr_high) << 32 | icr_low; in savic_icr_write()
|
| /linux/arch/x86/kvm/ |
| H A D | lapic.h | 132 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high);
|
| H A D | lapic.c | 1624 u32 icr_high, struct kvm_lapic_irq *irq) in kvm_icr_to_lapic_irq() argument 1637 irq->dest_id = icr_high; in kvm_icr_to_lapic_irq() 1639 irq->dest_id = GET_XAPIC_DEST_FIELD(icr_high); in kvm_icr_to_lapic_irq() 1642 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high) in kvm_apic_send_ipi() argument 1646 kvm_icr_to_lapic_irq(apic, icr_low, icr_high, &irq); in kvm_apic_send_ipi()
|