Lines Matching +full:gic +full:- +full:v3

1 // SPDX-License-Identifier: GPL-2.0
3  * ARM Generic Interrupt Controller (GIC) v3 host support
13 #include "gic.h"
17  * vGIC-v3 default host setup
20  *	vm - KVM VM
21  *	nr_vcpus - Number of vCPUs supported by this VM
22  *	gicd_base_gpa - Guest Physical Address of the Distributor region
23  *	gicr_base_gpa - Guest Physical Address of the Redistributor region
27  * Return: GIC file-descriptor or negative error code upon failure
29  * The function creates a vGIC-v3 device and maps the distributor and
47 	list_for_each(iter, &vm->vcpus)  in vgic_v3_setup()
65 	nr_gic_pages = vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_DIST_SIZE);  in vgic_v3_setup()
72 	nr_gic_pages = vm_calc_num_guest_pages(vm->mode,  in vgic_v3_setup()
144 		assert(vcpu->id == 0);  in vgic_poke_irq()