1250b8d6cSRaghavendra Rao Ananta /* SPDX-License-Identifier: GPL-2.0 */ 2250b8d6cSRaghavendra Rao Ananta /* 3250b8d6cSRaghavendra Rao Ananta * ARM Generic Interrupt Controller (GIC) host specific defines 4250b8d6cSRaghavendra Rao Ananta */ 5250b8d6cSRaghavendra Rao Ananta 6250b8d6cSRaghavendra Rao Ananta #ifndef SELFTEST_KVM_VGIC_H 7250b8d6cSRaghavendra Rao Ananta #define SELFTEST_KVM_VGIC_H 8250b8d6cSRaghavendra Rao Ananta 9250b8d6cSRaghavendra Rao Ananta #include <linux/kvm.h> 10250b8d6cSRaghavendra Rao Ananta 11250b8d6cSRaghavendra Rao Ananta #define REDIST_REGION_ATTR_ADDR(count, base, flags, index) \ 12250b8d6cSRaghavendra Rao Ananta (((uint64_t)(count) << 52) | \ 13250b8d6cSRaghavendra Rao Ananta ((uint64_t)((base) >> 16) << 16) | \ 14250b8d6cSRaghavendra Rao Ananta ((uint64_t)(flags) << 12) | \ 15250b8d6cSRaghavendra Rao Ananta index) 16250b8d6cSRaghavendra Rao Ananta 17*e5410ee2SRicardo Koller int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs, 18250b8d6cSRaghavendra Rao Ananta uint64_t gicd_base_gpa, uint64_t gicr_base_gpa); 19250b8d6cSRaghavendra Rao Ananta 20e95def3aSRicardo Koller #define VGIC_MAX_RESERVED 1023 21e95def3aSRicardo Koller 22e95def3aSRicardo Koller void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level); 23e95def3aSRicardo Koller int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level); 24e95def3aSRicardo Koller 25e95def3aSRicardo Koller void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level); 26e95def3aSRicardo Koller int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level); 27e95def3aSRicardo Koller 28e95def3aSRicardo Koller /* The vcpu arg only applies to private interrupts. */ 29e95def3aSRicardo Koller void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, uint32_t vcpu); 30e95def3aSRicardo Koller void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, uint32_t vcpu); 31e95def3aSRicardo Koller 32e95def3aSRicardo Koller #endif // SELFTEST_KVM_VGIC_H 33