vgic.h

 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
19bool kvm_supports_vgic_v3(void);
20int __vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs);
21void __vgic_v3_init(int fd);
22int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs);
23
24#define VGIC_MAX_RESERVED	1023
25
26void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
27int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
28
29void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
30int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
31
32/* The vcpu arg only applies to private interrupts. */
33void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
34void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
35
36#define KVM_IRQCHIP_NUM_PINS	(1020 - 32)
37
38int vgic_its_setup(struct kvm_vm *vm);
39
40#endif // SELFTEST_KVM_VGIC_H