Searched refs:icr_high (Results 1 – 2 of 2) sorted by relevance
120 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high);
1502 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high) in kvm_apic_send_ipi() argument1517 irq.dest_id = icr_high; in kvm_apic_send_ipi()1519 irq.dest_id = GET_XAPIC_DEST_FIELD(icr_high); in kvm_apic_send_ipi()