lib/aarch64/vgic.c

1 // SPDX-License-Identifier: GPL-2.0
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()
86 	uint64_t index = intid % 32;  in _kvm_irq_set_level_info()  local
95 	val |= 1U << index;  in _kvm_irq_set_level_info()
134 	uint64_t index = intid % 32;  in vgic_poke_irq()  local
139 	uint32_t group = intid_is_private ? KVM_DEV_ARM_VGIC_GRP_REDIST_REGS  in vgic_poke_irq()  local
144 		assert(vcpu->id == 0);  in vgic_poke_irq()
148 	/* Check that the addr part of the attr is within 32 bits. */  in vgic_poke_irq()
153 	 * addr part of the attr is within 32 bits (checked above). An invalid  in vgic_poke_irq()
157 	kvm_device_attr_get(gic_fd, group, attr, &val);  in vgic_poke_irq()
158 	val |= 1ULL << index;  in vgic_poke_irq()
159 	kvm_device_attr_set(gic_fd, group, attr, &val);  in vgic_poke_irq()
185 		 vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_ITS_SIZE));  in vgic_its_setup()