1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * ARM Generic Interrupt Controller (GIC) host specific defines 4 */ 5 6 #ifndef SELFTEST_KVM_VGIC_H 7 #define SELFTEST_KVM_VGIC_H 8 9 #include <linux/kvm.h> 10 11 #include "kvm_util.h" 12 13 #define REDIST_REGION_ATTR_ADDR(count, base, flags, index) \ 14 (((uint64_t)(count) << 52) | \ 15 ((uint64_t)((base) >> 16) << 16) | \ 16 ((uint64_t)(flags) << 12) | \ 17 index) 18 19 bool kvm_supports_vgic_v3(void); 20 int __vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs); 21 void __vgic_v3_init(int fd); 22 int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs); 23 24 #define VGIC_MAX_RESERVED 1023 25 26 void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level); 27 int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level); 28 29 void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level); 30 int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level); 31 32 /* The vcpu arg only applies to private interrupts. */ 33 void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu); 34 void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu); 35 36 #define KVM_IRQCHIP_NUM_PINS (1020 - 32) 37 38 int vgic_its_setup(struct kvm_vm *vm); 39 40 #endif // SELFTEST_KVM_VGIC_H 41