1*250b8d6cSRaghavendra Rao Ananta /* SPDX-License-Identifier: GPL-2.0 */
2*250b8d6cSRaghavendra Rao Ananta /*
3*250b8d6cSRaghavendra Rao Ananta  * ARM Generic Interrupt Controller (GIC) host specific defines
4*250b8d6cSRaghavendra Rao Ananta  */
5*250b8d6cSRaghavendra Rao Ananta 
6*250b8d6cSRaghavendra Rao Ananta #ifndef SELFTEST_KVM_VGIC_H
7*250b8d6cSRaghavendra Rao Ananta #define SELFTEST_KVM_VGIC_H
8*250b8d6cSRaghavendra Rao Ananta 
9*250b8d6cSRaghavendra Rao Ananta #include <linux/kvm.h>
10*250b8d6cSRaghavendra Rao Ananta 
11*250b8d6cSRaghavendra Rao Ananta #define REDIST_REGION_ATTR_ADDR(count, base, flags, index) \
12*250b8d6cSRaghavendra Rao Ananta 	(((uint64_t)(count) << 52) | \
13*250b8d6cSRaghavendra Rao Ananta 	((uint64_t)((base) >> 16) << 16) | \
14*250b8d6cSRaghavendra Rao Ananta 	((uint64_t)(flags) << 12) | \
15*250b8d6cSRaghavendra Rao Ananta 	index)
16*250b8d6cSRaghavendra Rao Ananta 
17*250b8d6cSRaghavendra Rao Ananta int vgic_v3_setup(struct kvm_vm *vm, unsigned int nr_vcpus,
18*250b8d6cSRaghavendra Rao Ananta 		uint64_t gicd_base_gpa, uint64_t gicr_base_gpa);
19*250b8d6cSRaghavendra Rao Ananta 
20*250b8d6cSRaghavendra Rao Ananta #endif /* SELFTEST_KVM_VGIC_H */
21