35 	int gic_fd;  in vgic_v3_setup()  local
53 	gic_fd = __kvm_create_device(vm, KVM_DEV_TYPE_ARM_VGIC_V3);  in vgic_v3_setup()
54 	if (gic_fd < 0)  in vgic_v3_setup()
55 		return gic_fd;  in vgic_v3_setup()
57 	kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_NR_IRQS, 0, &nr_irqs);  in vgic_v3_setup()
59 	kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,  in vgic_v3_setup()
63 	kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_ADDR,  in vgic_v3_setup()
70 	kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_ADDR,  in vgic_v3_setup()
76 	kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_CTRL,  in vgic_v3_setup()
79 	return gic_fd;  in vgic_v3_setup()
83 int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level)  in _kvm_irq_set_level_info()  argument
90 	ret = __kvm_device_attr_get(gic_fd, KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO,  in _kvm_irq_set_level_info()
96 	ret = __kvm_device_attr_set(gic_fd, KVM_DEV_ARM_VGIC_GRP_LEVEL_INFO,  in _kvm_irq_set_level_info()
101 void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level)  in kvm_irq_set_level_info()  argument
103 	int ret = _kvm_irq_set_level_info(gic_fd, intid, level);  in kvm_irq_set_level_info()
130 static void vgic_poke_irq(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu,  in vgic_poke_irq()  argument
157 	kvm_device_attr_get(gic_fd, group, attr, &val);  in vgic_poke_irq()
159 	kvm_device_attr_set(gic_fd, group, attr, &val);  in vgic_poke_irq()
162 void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu)  in kvm_irq_write_ispendr()  argument
164 	vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISPENDR);  in kvm_irq_write_ispendr()
167 void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu)  in kvm_irq_write_isactiver()  argument
169 	vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISACTIVER);  in kvm_irq_write_isactiver()