Contributors: 6
	  
        
          | Author | Tokens | Token Proportion | Commits | Commit Proportion | 
	  
	  
        
        
          | Ricardo Koller | 71 | 47.02% | 4 | 40.00% | 
        
          | Raghavendra Rao Ananta | 32 | 21.19% | 2 | 20.00% | 
        
          | Paolo Bonzini | 21 | 13.91% | 1 | 10.00% | 
        
          | Eric Auger | 12 | 7.95% | 1 | 10.00% | 
        
          | Oliver Upton | 9 | 5.96% | 1 | 10.00% | 
        
          | Sean Christopherson | 6 | 3.97% | 1 | 10.00% | 
	  
	  
        
          | Total | 151 |  | 10 |  | 
	  
    
 
/* SPDX-License-Identifier: GPL-2.0 */
/*
 * ARM Generic Interrupt Controller (GIC) host specific defines
 */
#ifndef SELFTEST_KVM_VGIC_H
#define SELFTEST_KVM_VGIC_H
#include <linux/kvm.h>
#include "kvm_util.h"
#define REDIST_REGION_ATTR_ADDR(count, base, flags, index) \
	(((uint64_t)(count) << 52) | \
	((uint64_t)((base) >> 16) << 16) | \
	((uint64_t)(flags) << 12) | \
	index)
int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus, uint32_t nr_irqs);
#define VGIC_MAX_RESERVED	1023
void kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
int _kvm_irq_set_level_info(int gic_fd, uint32_t intid, int level);
void kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
int _kvm_arm_irq_line(struct kvm_vm *vm, uint32_t intid, int level);
/* The vcpu arg only applies to private interrupts. */
void kvm_irq_write_ispendr(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
void kvm_irq_write_isactiver(int gic_fd, uint32_t intid, struct kvm_vcpu *vcpu);
#define KVM_IRQCHIP_NUM_PINS	(1020 - 32)
int vgic_its_setup(struct kvm_vm *vm);
#endif // SELFTEST_KVM_VGIC_H