30 /* enable / disable AVIC */
31 int avic;  variable
33 module_param(avic, int, S_IRUGO);
50 /* AVIC GATAG is encoded using VM and VCPU IDs */
129 	if (!avic)  in avic_vm_destroy()
152 	if (!avic)  in avic_vm_init()
228  * AVIC hardware walks the nested page table to check permissions,
283 	/* Setting AVIC backing page address in the phy APIC ID table */  in avic_init_backing_page()
311 		 * AVIC hardware handles the generation of  in avic_incomplete_ipi_interception()
331 		 * At this point, we expect that the AVIC HW has already  in avic_incomplete_ipi_interception()
566 	if (!avic || !irqchip_in_kernel(vcpu->kvm))  in avic_init_vcpu()
590 	if (!avic || !lapic_in_kernel(vcpu))  in svm_toggle_avic_for_irq_window()
650 	if (!avic)  in svm_refresh_apicv_exec_ctrl()
655 		 * During AVIC temporary deactivation, guest could update  in svm_refresh_apicv_exec_ctrl()
658 		 * we need to check and update the AVIC logical APIC ID table  in svm_refresh_apicv_exec_ctrl()