398 				       u32 icrl, u32 icrh, u32 index)  in avic_kick_target_vcpus_fast()  argument
409 		dest = icrh;  in avic_kick_target_vcpus_fast()
411 		dest = GET_XAPIC_DEST_FIELD(icrh);  in avic_kick_target_vcpus_fast()
466 				   u32 icrl, u32 icrh, u32 index)  in avic_kick_target_vcpus()  argument
468 	u32 dest = apic_x2apic_mode(source) ? icrh : GET_XAPIC_DEST_FIELD(icrh);  in avic_kick_target_vcpus()
472 	if (!avic_kick_target_vcpus_fast(kvm, source, icrl, icrh, index))  in avic_kick_target_vcpus()
475 	trace_kvm_avic_kick_vcpu_slowpath(icrh, icrl, index);  in avic_kick_target_vcpus()
493 	u32 icrh = svm->vmcb->control.exit_info_1 >> 32;  in avic_incomplete_ipi_interception()  local
499 	trace_kvm_avic_incomplete_ipi(vcpu->vcpu_id, icrh, icrl, id, index);  in avic_incomplete_ipi_interception()
519 			kvm_apic_send_ipi(apic, icrl, icrh);  in avic_incomplete_ipi_interception()
527 		avic_kick_target_vcpus(vcpu->kvm, apic, icrl, icrh, index);  in avic_incomplete_ipi_interception()