83 int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level)  in _kvm_irq_set_level_info()  argument
85 	uint64_t attr = 32 * (intid / 32);  in _kvm_irq_set_level_info()
86 	uint64_t index = intid % 32;  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()
108 int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level)  in _kvm_arm_irq_line()  argument
110 	uint32_t irq = intid & KVM_ARM_IRQ_NUM_MASK;  in _kvm_arm_irq_line()
112 	TEST_ASSERT(!INTID_IS_SGI(intid), "KVM_IRQ_LINE's interface itself "  in _kvm_arm_irq_line()
115 	if (INTID_IS_PPI(intid))  in _kvm_arm_irq_line()
123 void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level)  in kvm_arm_irq_line()  argument
125 	int ret = _kvm_arm_irq_line(vm, intid, level);  in kvm_arm_irq_line()
130 static void vgic_poke_irq(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu,  in vgic_poke_irq()  argument
133 	uint64_t reg = intid / 32;  in vgic_poke_irq()
134 	uint64_t index = intid % 32;  in vgic_poke_irq()
137 	bool intid_is_private = INTID_IS_SGI(intid) || INTID_IS_PPI(intid);  in vgic_poke_irq()
152 	 * All calls will succeed, even with invalid intid's, as long as the  in vgic_poke_irq()
154 	 * intid will just make the read/writes point to above the intended  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()