18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Copyright (C) 2015, 2016 ARM Ltd.
48c2ecf20Sopenharmony_ci */
58c2ecf20Sopenharmony_ci#ifndef __KVM_ARM_VGIC_H
68c2ecf20Sopenharmony_ci#define __KVM_ARM_VGIC_H
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#include <linux/kernel.h>
98c2ecf20Sopenharmony_ci#include <linux/kvm.h>
108c2ecf20Sopenharmony_ci#include <linux/irqreturn.h>
118c2ecf20Sopenharmony_ci#include <linux/spinlock.h>
128c2ecf20Sopenharmony_ci#include <linux/static_key.h>
138c2ecf20Sopenharmony_ci#include <linux/types.h>
148c2ecf20Sopenharmony_ci#include <kvm/iodev.h>
158c2ecf20Sopenharmony_ci#include <linux/list.h>
168c2ecf20Sopenharmony_ci#include <linux/jump_label.h>
178c2ecf20Sopenharmony_ci
188c2ecf20Sopenharmony_ci#include <linux/irqchip/arm-gic-v4.h>
198c2ecf20Sopenharmony_ci
208c2ecf20Sopenharmony_ci#define VGIC_V3_MAX_CPUS	512
218c2ecf20Sopenharmony_ci#define VGIC_V2_MAX_CPUS	8
228c2ecf20Sopenharmony_ci#define VGIC_NR_IRQS_LEGACY     256
238c2ecf20Sopenharmony_ci#define VGIC_NR_SGIS		16
248c2ecf20Sopenharmony_ci#define VGIC_NR_PPIS		16
258c2ecf20Sopenharmony_ci#define VGIC_NR_PRIVATE_IRQS	(VGIC_NR_SGIS + VGIC_NR_PPIS)
268c2ecf20Sopenharmony_ci#define VGIC_MAX_PRIVATE	(VGIC_NR_PRIVATE_IRQS - 1)
278c2ecf20Sopenharmony_ci#define VGIC_MAX_SPI		1019
288c2ecf20Sopenharmony_ci#define VGIC_MAX_RESERVED	1023
298c2ecf20Sopenharmony_ci#define VGIC_MIN_LPI		8192
308c2ecf20Sopenharmony_ci#define KVM_IRQCHIP_NUM_PINS	(1020 - 32)
318c2ecf20Sopenharmony_ci
328c2ecf20Sopenharmony_ci#define irq_is_ppi(irq) ((irq) >= VGIC_NR_SGIS && (irq) < VGIC_NR_PRIVATE_IRQS)
338c2ecf20Sopenharmony_ci#define irq_is_spi(irq) ((irq) >= VGIC_NR_PRIVATE_IRQS && \
348c2ecf20Sopenharmony_ci			 (irq) <= VGIC_MAX_SPI)
358c2ecf20Sopenharmony_ci
368c2ecf20Sopenharmony_cienum vgic_type {
378c2ecf20Sopenharmony_ci	VGIC_V2,		/* Good ol' GICv2 */
388c2ecf20Sopenharmony_ci	VGIC_V3,		/* New fancy GICv3 */
398c2ecf20Sopenharmony_ci};
408c2ecf20Sopenharmony_ci
418c2ecf20Sopenharmony_ci/* same for all guests, as depending only on the _host's_ GIC model */
428c2ecf20Sopenharmony_cistruct vgic_global {
438c2ecf20Sopenharmony_ci	/* type of the host GIC */
448c2ecf20Sopenharmony_ci	enum vgic_type		type;
458c2ecf20Sopenharmony_ci
468c2ecf20Sopenharmony_ci	/* Physical address of vgic virtual cpu interface */
478c2ecf20Sopenharmony_ci	phys_addr_t		vcpu_base;
488c2ecf20Sopenharmony_ci
498c2ecf20Sopenharmony_ci	/* GICV mapping, kernel VA */
508c2ecf20Sopenharmony_ci	void __iomem		*vcpu_base_va;
518c2ecf20Sopenharmony_ci	/* GICV mapping, HYP VA */
528c2ecf20Sopenharmony_ci	void __iomem		*vcpu_hyp_va;
538c2ecf20Sopenharmony_ci
548c2ecf20Sopenharmony_ci	/* virtual control interface mapping, kernel VA */
558c2ecf20Sopenharmony_ci	void __iomem		*vctrl_base;
568c2ecf20Sopenharmony_ci	/* virtual control interface mapping, HYP VA */
578c2ecf20Sopenharmony_ci	void __iomem		*vctrl_hyp;
588c2ecf20Sopenharmony_ci
598c2ecf20Sopenharmony_ci	/* Number of implemented list registers */
608c2ecf20Sopenharmony_ci	int			nr_lr;
618c2ecf20Sopenharmony_ci
628c2ecf20Sopenharmony_ci	/* Maintenance IRQ number */
638c2ecf20Sopenharmony_ci	unsigned int		maint_irq;
648c2ecf20Sopenharmony_ci
658c2ecf20Sopenharmony_ci	/* maximum number of VCPUs allowed (GICv2 limits us to 8) */
668c2ecf20Sopenharmony_ci	int			max_gic_vcpus;
678c2ecf20Sopenharmony_ci
688c2ecf20Sopenharmony_ci	/* Only needed for the legacy KVM_CREATE_IRQCHIP */
698c2ecf20Sopenharmony_ci	bool			can_emulate_gicv2;
708c2ecf20Sopenharmony_ci
718c2ecf20Sopenharmony_ci	/* Hardware has GICv4? */
728c2ecf20Sopenharmony_ci	bool			has_gicv4;
738c2ecf20Sopenharmony_ci	bool			has_gicv4_1;
748c2ecf20Sopenharmony_ci
758c2ecf20Sopenharmony_ci	/* GIC system register CPU interface */
768c2ecf20Sopenharmony_ci	struct static_key_false gicv3_cpuif;
778c2ecf20Sopenharmony_ci
788c2ecf20Sopenharmony_ci	u32			ich_vtr_el2;
798c2ecf20Sopenharmony_ci};
808c2ecf20Sopenharmony_ci
818c2ecf20Sopenharmony_ciextern struct vgic_global kvm_vgic_global_state;
828c2ecf20Sopenharmony_ci
838c2ecf20Sopenharmony_ci#define VGIC_V2_MAX_LRS		(1 << 6)
848c2ecf20Sopenharmony_ci#define VGIC_V3_MAX_LRS		16
858c2ecf20Sopenharmony_ci#define VGIC_V3_LR_INDEX(lr)	(VGIC_V3_MAX_LRS - 1 - lr)
868c2ecf20Sopenharmony_ci
878c2ecf20Sopenharmony_cienum vgic_irq_config {
888c2ecf20Sopenharmony_ci	VGIC_CONFIG_EDGE = 0,
898c2ecf20Sopenharmony_ci	VGIC_CONFIG_LEVEL
908c2ecf20Sopenharmony_ci};
918c2ecf20Sopenharmony_ci
928c2ecf20Sopenharmony_cistruct vgic_irq {
938c2ecf20Sopenharmony_ci	raw_spinlock_t irq_lock;	/* Protects the content of the struct */
948c2ecf20Sopenharmony_ci	struct list_head lpi_list;	/* Used to link all LPIs together */
958c2ecf20Sopenharmony_ci	struct list_head ap_list;
968c2ecf20Sopenharmony_ci
978c2ecf20Sopenharmony_ci	struct kvm_vcpu *vcpu;		/* SGIs and PPIs: The VCPU
988c2ecf20Sopenharmony_ci					 * SPIs and LPIs: The VCPU whose ap_list
998c2ecf20Sopenharmony_ci					 * this is queued on.
1008c2ecf20Sopenharmony_ci					 */
1018c2ecf20Sopenharmony_ci
1028c2ecf20Sopenharmony_ci	struct kvm_vcpu *target_vcpu;	/* The VCPU that this interrupt should
1038c2ecf20Sopenharmony_ci					 * be sent to, as a result of the
1048c2ecf20Sopenharmony_ci					 * targets reg (v2) or the
1058c2ecf20Sopenharmony_ci					 * affinity reg (v3).
1068c2ecf20Sopenharmony_ci					 */
1078c2ecf20Sopenharmony_ci
1088c2ecf20Sopenharmony_ci	u32 intid;			/* Guest visible INTID */
1098c2ecf20Sopenharmony_ci	bool line_level;		/* Level only */
1108c2ecf20Sopenharmony_ci	bool pending_latch;		/* The pending latch state used to calculate
1118c2ecf20Sopenharmony_ci					 * the pending state for both level
1128c2ecf20Sopenharmony_ci					 * and edge triggered IRQs. */
1138c2ecf20Sopenharmony_ci	bool active;			/* not used for LPIs */
1148c2ecf20Sopenharmony_ci	bool enabled;
1158c2ecf20Sopenharmony_ci	bool hw;			/* Tied to HW IRQ */
1168c2ecf20Sopenharmony_ci	struct kref refcount;		/* Used for LPIs */
1178c2ecf20Sopenharmony_ci	u32 hwintid;			/* HW INTID number */
1188c2ecf20Sopenharmony_ci	unsigned int host_irq;		/* linux irq corresponding to hwintid */
1198c2ecf20Sopenharmony_ci	union {
1208c2ecf20Sopenharmony_ci		u8 targets;			/* GICv2 target VCPUs mask */
1218c2ecf20Sopenharmony_ci		u32 mpidr;			/* GICv3 target VCPU */
1228c2ecf20Sopenharmony_ci	};
1238c2ecf20Sopenharmony_ci	u8 source;			/* GICv2 SGIs only */
1248c2ecf20Sopenharmony_ci	u8 active_source;		/* GICv2 SGIs only */
1258c2ecf20Sopenharmony_ci	u8 priority;
1268c2ecf20Sopenharmony_ci	u8 group;			/* 0 == group 0, 1 == group 1 */
1278c2ecf20Sopenharmony_ci	enum vgic_irq_config config;	/* Level or edge */
1288c2ecf20Sopenharmony_ci
1298c2ecf20Sopenharmony_ci	/*
1308c2ecf20Sopenharmony_ci	 * Callback function pointer to in-kernel devices that can tell us the
1318c2ecf20Sopenharmony_ci	 * state of the input level of mapped level-triggered IRQ faster than
1328c2ecf20Sopenharmony_ci	 * peaking into the physical GIC.
1338c2ecf20Sopenharmony_ci	 *
1348c2ecf20Sopenharmony_ci	 * Always called in non-preemptible section and the functions can use
1358c2ecf20Sopenharmony_ci	 * kvm_arm_get_running_vcpu() to get the vcpu pointer for private
1368c2ecf20Sopenharmony_ci	 * IRQs.
1378c2ecf20Sopenharmony_ci	 */
1388c2ecf20Sopenharmony_ci	bool (*get_input_level)(int vintid);
1398c2ecf20Sopenharmony_ci
1408c2ecf20Sopenharmony_ci	void *owner;			/* Opaque pointer to reserve an interrupt
1418c2ecf20Sopenharmony_ci					   for in-kernel devices. */
1428c2ecf20Sopenharmony_ci};
1438c2ecf20Sopenharmony_ci
1448c2ecf20Sopenharmony_cistruct vgic_register_region;
1458c2ecf20Sopenharmony_cistruct vgic_its;
1468c2ecf20Sopenharmony_ci
1478c2ecf20Sopenharmony_cienum iodev_type {
1488c2ecf20Sopenharmony_ci	IODEV_CPUIF,
1498c2ecf20Sopenharmony_ci	IODEV_DIST,
1508c2ecf20Sopenharmony_ci	IODEV_REDIST,
1518c2ecf20Sopenharmony_ci	IODEV_ITS
1528c2ecf20Sopenharmony_ci};
1538c2ecf20Sopenharmony_ci
1548c2ecf20Sopenharmony_cistruct vgic_io_device {
1558c2ecf20Sopenharmony_ci	gpa_t base_addr;
1568c2ecf20Sopenharmony_ci	union {
1578c2ecf20Sopenharmony_ci		struct kvm_vcpu *redist_vcpu;
1588c2ecf20Sopenharmony_ci		struct vgic_its *its;
1598c2ecf20Sopenharmony_ci	};
1608c2ecf20Sopenharmony_ci	const struct vgic_register_region *regions;
1618c2ecf20Sopenharmony_ci	enum iodev_type iodev_type;
1628c2ecf20Sopenharmony_ci	int nr_regions;
1638c2ecf20Sopenharmony_ci	struct kvm_io_device dev;
1648c2ecf20Sopenharmony_ci};
1658c2ecf20Sopenharmony_ci
1668c2ecf20Sopenharmony_cistruct vgic_its {
1678c2ecf20Sopenharmony_ci	/* The base address of the ITS control register frame */
1688c2ecf20Sopenharmony_ci	gpa_t			vgic_its_base;
1698c2ecf20Sopenharmony_ci
1708c2ecf20Sopenharmony_ci	bool			enabled;
1718c2ecf20Sopenharmony_ci	struct vgic_io_device	iodev;
1728c2ecf20Sopenharmony_ci	struct kvm_device	*dev;
1738c2ecf20Sopenharmony_ci
1748c2ecf20Sopenharmony_ci	/* These registers correspond to GITS_BASER{0,1} */
1758c2ecf20Sopenharmony_ci	u64			baser_device_table;
1768c2ecf20Sopenharmony_ci	u64			baser_coll_table;
1778c2ecf20Sopenharmony_ci
1788c2ecf20Sopenharmony_ci	/* Protects the command queue */
1798c2ecf20Sopenharmony_ci	struct mutex		cmd_lock;
1808c2ecf20Sopenharmony_ci	u64			cbaser;
1818c2ecf20Sopenharmony_ci	u32			creadr;
1828c2ecf20Sopenharmony_ci	u32			cwriter;
1838c2ecf20Sopenharmony_ci
1848c2ecf20Sopenharmony_ci	/* migration ABI revision in use */
1858c2ecf20Sopenharmony_ci	u32			abi_rev;
1868c2ecf20Sopenharmony_ci
1878c2ecf20Sopenharmony_ci	/* Protects the device and collection lists */
1888c2ecf20Sopenharmony_ci	struct mutex		its_lock;
1898c2ecf20Sopenharmony_ci	struct list_head	device_list;
1908c2ecf20Sopenharmony_ci	struct list_head	collection_list;
1918c2ecf20Sopenharmony_ci};
1928c2ecf20Sopenharmony_ci
1938c2ecf20Sopenharmony_cistruct vgic_state_iter;
1948c2ecf20Sopenharmony_ci
1958c2ecf20Sopenharmony_cistruct vgic_redist_region {
1968c2ecf20Sopenharmony_ci	u32 index;
1978c2ecf20Sopenharmony_ci	gpa_t base;
1988c2ecf20Sopenharmony_ci	u32 count; /* number of redistributors or 0 if single region */
1998c2ecf20Sopenharmony_ci	u32 free_index; /* index of the next free redistributor */
2008c2ecf20Sopenharmony_ci	struct list_head list;
2018c2ecf20Sopenharmony_ci};
2028c2ecf20Sopenharmony_ci
2038c2ecf20Sopenharmony_cistruct vgic_dist {
2048c2ecf20Sopenharmony_ci	bool			in_kernel;
2058c2ecf20Sopenharmony_ci	bool			ready;
2068c2ecf20Sopenharmony_ci	bool			initialized;
2078c2ecf20Sopenharmony_ci
2088c2ecf20Sopenharmony_ci	/* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
2098c2ecf20Sopenharmony_ci	u32			vgic_model;
2108c2ecf20Sopenharmony_ci
2118c2ecf20Sopenharmony_ci	/* Implementation revision as reported in the GICD_IIDR */
2128c2ecf20Sopenharmony_ci	u32			implementation_rev;
2138c2ecf20Sopenharmony_ci
2148c2ecf20Sopenharmony_ci	/* Userspace can write to GICv2 IGROUPR */
2158c2ecf20Sopenharmony_ci	bool			v2_groups_user_writable;
2168c2ecf20Sopenharmony_ci
2178c2ecf20Sopenharmony_ci	/* Do injected MSIs require an additional device ID? */
2188c2ecf20Sopenharmony_ci	bool			msis_require_devid;
2198c2ecf20Sopenharmony_ci
2208c2ecf20Sopenharmony_ci	int			nr_spis;
2218c2ecf20Sopenharmony_ci
2228c2ecf20Sopenharmony_ci	/* base addresses in guest physical address space: */
2238c2ecf20Sopenharmony_ci	gpa_t			vgic_dist_base;		/* distributor */
2248c2ecf20Sopenharmony_ci	union {
2258c2ecf20Sopenharmony_ci		/* either a GICv2 CPU interface */
2268c2ecf20Sopenharmony_ci		gpa_t			vgic_cpu_base;
2278c2ecf20Sopenharmony_ci		/* or a number of GICv3 redistributor regions */
2288c2ecf20Sopenharmony_ci		struct list_head rd_regions;
2298c2ecf20Sopenharmony_ci	};
2308c2ecf20Sopenharmony_ci
2318c2ecf20Sopenharmony_ci	/* distributor enabled */
2328c2ecf20Sopenharmony_ci	bool			enabled;
2338c2ecf20Sopenharmony_ci
2348c2ecf20Sopenharmony_ci	/* Wants SGIs without active state */
2358c2ecf20Sopenharmony_ci	bool			nassgireq;
2368c2ecf20Sopenharmony_ci
2378c2ecf20Sopenharmony_ci	struct vgic_irq		*spis;
2388c2ecf20Sopenharmony_ci
2398c2ecf20Sopenharmony_ci	struct vgic_io_device	dist_iodev;
2408c2ecf20Sopenharmony_ci
2418c2ecf20Sopenharmony_ci	bool			has_its;
2428c2ecf20Sopenharmony_ci
2438c2ecf20Sopenharmony_ci	/*
2448c2ecf20Sopenharmony_ci	 * Contains the attributes and gpa of the LPI configuration table.
2458c2ecf20Sopenharmony_ci	 * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
2468c2ecf20Sopenharmony_ci	 * one address across all redistributors.
2478c2ecf20Sopenharmony_ci	 * GICv3 spec: IHI 0069E 6.1.1 "LPI Configuration tables"
2488c2ecf20Sopenharmony_ci	 */
2498c2ecf20Sopenharmony_ci	u64			propbaser;
2508c2ecf20Sopenharmony_ci
2518c2ecf20Sopenharmony_ci	/* Protects the lpi_list and the count value below. */
2528c2ecf20Sopenharmony_ci	raw_spinlock_t		lpi_list_lock;
2538c2ecf20Sopenharmony_ci	struct list_head	lpi_list_head;
2548c2ecf20Sopenharmony_ci	int			lpi_list_count;
2558c2ecf20Sopenharmony_ci
2568c2ecf20Sopenharmony_ci	/* LPI translation cache */
2578c2ecf20Sopenharmony_ci	struct list_head	lpi_translation_cache;
2588c2ecf20Sopenharmony_ci
2598c2ecf20Sopenharmony_ci	/* used by vgic-debug */
2608c2ecf20Sopenharmony_ci	struct vgic_state_iter *iter;
2618c2ecf20Sopenharmony_ci
2628c2ecf20Sopenharmony_ci	/*
2638c2ecf20Sopenharmony_ci	 * GICv4 ITS per-VM data, containing the IRQ domain, the VPE
2648c2ecf20Sopenharmony_ci	 * array, the property table pointer as well as allocation
2658c2ecf20Sopenharmony_ci	 * data. This essentially ties the Linux IRQ core and ITS
2668c2ecf20Sopenharmony_ci	 * together, and avoids leaking KVM's data structures anywhere
2678c2ecf20Sopenharmony_ci	 * else.
2688c2ecf20Sopenharmony_ci	 */
2698c2ecf20Sopenharmony_ci	struct its_vm		its_vm;
2708c2ecf20Sopenharmony_ci};
2718c2ecf20Sopenharmony_ci
2728c2ecf20Sopenharmony_cistruct vgic_v2_cpu_if {
2738c2ecf20Sopenharmony_ci	u32		vgic_hcr;
2748c2ecf20Sopenharmony_ci	u32		vgic_vmcr;
2758c2ecf20Sopenharmony_ci	u32		vgic_apr;
2768c2ecf20Sopenharmony_ci	u32		vgic_lr[VGIC_V2_MAX_LRS];
2778c2ecf20Sopenharmony_ci
2788c2ecf20Sopenharmony_ci	unsigned int used_lrs;
2798c2ecf20Sopenharmony_ci};
2808c2ecf20Sopenharmony_ci
2818c2ecf20Sopenharmony_cistruct vgic_v3_cpu_if {
2828c2ecf20Sopenharmony_ci	u32		vgic_hcr;
2838c2ecf20Sopenharmony_ci	u32		vgic_vmcr;
2848c2ecf20Sopenharmony_ci	u32		vgic_sre;	/* Restored only, change ignored */
2858c2ecf20Sopenharmony_ci	u32		vgic_ap0r[4];
2868c2ecf20Sopenharmony_ci	u32		vgic_ap1r[4];
2878c2ecf20Sopenharmony_ci	u64		vgic_lr[VGIC_V3_MAX_LRS];
2888c2ecf20Sopenharmony_ci
2898c2ecf20Sopenharmony_ci	/*
2908c2ecf20Sopenharmony_ci	 * GICv4 ITS per-VPE data, containing the doorbell IRQ, the
2918c2ecf20Sopenharmony_ci	 * pending table pointer, the its_vm pointer and a few other
2928c2ecf20Sopenharmony_ci	 * HW specific things. As for the its_vm structure, this is
2938c2ecf20Sopenharmony_ci	 * linking the Linux IRQ subsystem and the ITS together.
2948c2ecf20Sopenharmony_ci	 */
2958c2ecf20Sopenharmony_ci	struct its_vpe	its_vpe;
2968c2ecf20Sopenharmony_ci
2978c2ecf20Sopenharmony_ci	unsigned int used_lrs;
2988c2ecf20Sopenharmony_ci};
2998c2ecf20Sopenharmony_ci
3008c2ecf20Sopenharmony_cistruct vgic_cpu {
3018c2ecf20Sopenharmony_ci	/* CPU vif control registers for world switch */
3028c2ecf20Sopenharmony_ci	union {
3038c2ecf20Sopenharmony_ci		struct vgic_v2_cpu_if	vgic_v2;
3048c2ecf20Sopenharmony_ci		struct vgic_v3_cpu_if	vgic_v3;
3058c2ecf20Sopenharmony_ci	};
3068c2ecf20Sopenharmony_ci
3078c2ecf20Sopenharmony_ci	struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS];
3088c2ecf20Sopenharmony_ci
3098c2ecf20Sopenharmony_ci	raw_spinlock_t ap_list_lock;	/* Protects the ap_list */
3108c2ecf20Sopenharmony_ci
3118c2ecf20Sopenharmony_ci	/*
3128c2ecf20Sopenharmony_ci	 * List of IRQs that this VCPU should consider because they are either
3138c2ecf20Sopenharmony_ci	 * Active or Pending (hence the name; AP list), or because they recently
3148c2ecf20Sopenharmony_ci	 * were one of the two and need to be migrated off this list to another
3158c2ecf20Sopenharmony_ci	 * VCPU.
3168c2ecf20Sopenharmony_ci	 */
3178c2ecf20Sopenharmony_ci	struct list_head ap_list_head;
3188c2ecf20Sopenharmony_ci
3198c2ecf20Sopenharmony_ci	/*
3208c2ecf20Sopenharmony_ci	 * Members below are used with GICv3 emulation only and represent
3218c2ecf20Sopenharmony_ci	 * parts of the redistributor.
3228c2ecf20Sopenharmony_ci	 */
3238c2ecf20Sopenharmony_ci	struct vgic_io_device	rd_iodev;
3248c2ecf20Sopenharmony_ci	struct vgic_redist_region *rdreg;
3258c2ecf20Sopenharmony_ci
3268c2ecf20Sopenharmony_ci	/* Contains the attributes and gpa of the LPI pending tables. */
3278c2ecf20Sopenharmony_ci	u64 pendbaser;
3288c2ecf20Sopenharmony_ci
3298c2ecf20Sopenharmony_ci	bool lpis_enabled;
3308c2ecf20Sopenharmony_ci
3318c2ecf20Sopenharmony_ci	/* Cache guest priority bits */
3328c2ecf20Sopenharmony_ci	u32 num_pri_bits;
3338c2ecf20Sopenharmony_ci
3348c2ecf20Sopenharmony_ci	/* Cache guest interrupt ID bits */
3358c2ecf20Sopenharmony_ci	u32 num_id_bits;
3368c2ecf20Sopenharmony_ci};
3378c2ecf20Sopenharmony_ci
3388c2ecf20Sopenharmony_ciextern struct static_key_false vgic_v2_cpuif_trap;
3398c2ecf20Sopenharmony_ciextern struct static_key_false vgic_v3_cpuif_trap;
3408c2ecf20Sopenharmony_ci
3418c2ecf20Sopenharmony_ciint kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write);
3428c2ecf20Sopenharmony_civoid kvm_vgic_early_init(struct kvm *kvm);
3438c2ecf20Sopenharmony_ciint kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
3448c2ecf20Sopenharmony_ciint kvm_vgic_create(struct kvm *kvm, u32 type);
3458c2ecf20Sopenharmony_civoid kvm_vgic_destroy(struct kvm *kvm);
3468c2ecf20Sopenharmony_civoid kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
3478c2ecf20Sopenharmony_ciint kvm_vgic_map_resources(struct kvm *kvm);
3488c2ecf20Sopenharmony_ciint kvm_vgic_hyp_init(void);
3498c2ecf20Sopenharmony_civoid kvm_vgic_init_cpu_hardware(void);
3508c2ecf20Sopenharmony_ci
3518c2ecf20Sopenharmony_ciint kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
3528c2ecf20Sopenharmony_ci			bool level, void *owner);
3538c2ecf20Sopenharmony_ciint kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq,
3548c2ecf20Sopenharmony_ci			  u32 vintid, bool (*get_input_level)(int vindid));
3558c2ecf20Sopenharmony_ciint kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
3568c2ecf20Sopenharmony_cibool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
3578c2ecf20Sopenharmony_ci
3588c2ecf20Sopenharmony_ciint kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
3598c2ecf20Sopenharmony_ci
3608c2ecf20Sopenharmony_civoid kvm_vgic_load(struct kvm_vcpu *vcpu);
3618c2ecf20Sopenharmony_civoid kvm_vgic_put(struct kvm_vcpu *vcpu);
3628c2ecf20Sopenharmony_civoid kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu);
3638c2ecf20Sopenharmony_ci
3648c2ecf20Sopenharmony_ci#define irqchip_in_kernel(k)	(!!((k)->arch.vgic.in_kernel))
3658c2ecf20Sopenharmony_ci#define vgic_initialized(k)	((k)->arch.vgic.initialized)
3668c2ecf20Sopenharmony_ci#define vgic_ready(k)		((k)->arch.vgic.ready)
3678c2ecf20Sopenharmony_ci#define vgic_valid_spi(k, i)	(((i) >= VGIC_NR_PRIVATE_IRQS) && \
3688c2ecf20Sopenharmony_ci			((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
3698c2ecf20Sopenharmony_ci
3708c2ecf20Sopenharmony_cibool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
3718c2ecf20Sopenharmony_civoid kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
3728c2ecf20Sopenharmony_civoid kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
3738c2ecf20Sopenharmony_civoid kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
3748c2ecf20Sopenharmony_ci
3758c2ecf20Sopenharmony_civoid vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
3768c2ecf20Sopenharmony_ci
3778c2ecf20Sopenharmony_ci/**
3788c2ecf20Sopenharmony_ci * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
3798c2ecf20Sopenharmony_ci *
3808c2ecf20Sopenharmony_ci * The host's GIC naturally limits the maximum amount of VCPUs a guest
3818c2ecf20Sopenharmony_ci * can use.
3828c2ecf20Sopenharmony_ci */
3838c2ecf20Sopenharmony_cistatic inline int kvm_vgic_get_max_vcpus(void)
3848c2ecf20Sopenharmony_ci{
3858c2ecf20Sopenharmony_ci	return kvm_vgic_global_state.max_gic_vcpus;
3868c2ecf20Sopenharmony_ci}
3878c2ecf20Sopenharmony_ci
3888c2ecf20Sopenharmony_ci/**
3898c2ecf20Sopenharmony_ci * kvm_vgic_setup_default_irq_routing:
3908c2ecf20Sopenharmony_ci * Setup a default flat gsi routing table mapping all SPIs
3918c2ecf20Sopenharmony_ci */
3928c2ecf20Sopenharmony_ciint kvm_vgic_setup_default_irq_routing(struct kvm *kvm);
3938c2ecf20Sopenharmony_ci
3948c2ecf20Sopenharmony_ciint kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);
3958c2ecf20Sopenharmony_ci
3968c2ecf20Sopenharmony_cistruct kvm_kernel_irq_routing_entry;
3978c2ecf20Sopenharmony_ci
3988c2ecf20Sopenharmony_ciint kvm_vgic_v4_set_forwarding(struct kvm *kvm, int irq,
3998c2ecf20Sopenharmony_ci			       struct kvm_kernel_irq_routing_entry *irq_entry);
4008c2ecf20Sopenharmony_ci
4018c2ecf20Sopenharmony_ciint kvm_vgic_v4_unset_forwarding(struct kvm *kvm, int irq,
4028c2ecf20Sopenharmony_ci				 struct kvm_kernel_irq_routing_entry *irq_entry);
4038c2ecf20Sopenharmony_ci
4048c2ecf20Sopenharmony_ciint vgic_v4_load(struct kvm_vcpu *vcpu);
4058c2ecf20Sopenharmony_ciint vgic_v4_put(struct kvm_vcpu *vcpu, bool need_db);
4068c2ecf20Sopenharmony_ci
4078c2ecf20Sopenharmony_ci#endif /* __KVM_ARM_VGIC_H */
408