Searched refs:icr_high (Results 1 – 2 of 2) sorted by relevance
105 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high);
1279 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high) in kvm_apic_send_ipi() argument1291 irq.dest_id = icr_high; in kvm_apic_send_ipi()1293 irq.dest_id = GET_APIC_DEST_FIELD(icr_high); in kvm_apic_send_ipi()