include/aarch64/vgic.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /*
0003  * ARM Generic Interrupt Controller (GIC) host specific defines
0004  */
0005
0006 #ifndef SELFTEST_KVM_VGIC_H
0007 #define SELFTEST_KVM_VGIC_H
0008
0009 #include <linux/kvm.h>
0010
0011 #include "kvm_util.h"
0012
0013 #define REDIST_REGION_ATTR_ADDR(count, base, flags, index) \
0014     (((uint64_t)(count) << 52) | \
0015     ((uint64_t)((base) >> 16) << 16) | \
0016     ((uint64_t)(flags) << 12) | \
0017     index)
0018
0019 int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs,
0020         uint64_t gicd_base_gpa, uint64_t gicr_base_gpa);
0021
0022 #define VGIC_MAX_RESERVED   1023
0023
0024 void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
0025 int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
0026
0027 void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
0028 int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
0029
0030 /* The vcpu arg only applies to private interrupts. */
0031 void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
0032 void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
0033
0034 #define KVM_IRQCHIP_NUM_PINS    (1020 - 32)
0035
0036 #endif // SELFTEST_KVM_VGIC_H