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

1 // SPDX-License-Identifier: GPL-2.0
3  * ARM Generic Interrupt Controller (GIC) v3 host support
15 #include "gic.h"
19  * vGIC-v3 default host setup
22  *	vm - KVM VM
23  *	nr_vcpus - Number of vCPUs supported by this VM
27  * Return: GIC file-descriptor or negative error code upon failure
29  * The function creates a vGIC-v3 device and maps the distributor and
46 	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()
185 		 vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_ITS_SIZE));  in vgic_its_setup()