Searched refs:icr_high (Results 1 – 2 of 2) sorted by relevance
119 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high);
1515 void kvm_apic_send_ipi(struct kvm_lapic *apic, u32 icr_low, u32 icr_high) in kvm_apic_send_ipi() argument1530 irq.dest_id = icr_high; in kvm_apic_send_ipi()1532 irq.dest_id = GET_XAPIC_DEST_FIELD(icr_high); in kvm_apic_send_ipi()