[mirror_ubuntu-bionic-kernel.git] / include / kvm / arm_vgic.h

/*
 * Copyright (C) 2015, 2016 ARM Ltd.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
#ifndef __KVM_ARM_VGIC_H
#define __KVM_ARM_VGIC_H

#include <linux/kernel.h>
#include <linux/kvm.h>
#include <linux/irqreturn.h>
#include <linux/spinlock.h>
#include <linux/static_key.h>
#include <linux/types.h>
#include <kvm/iodev.h>
#include <linux/list.h>
#include <linux/jump_label.h>

#define VGIC_V3_MAX_CPUS	255
#define VGIC_V2_MAX_CPUS	8
#define VGIC_NR_IRQS_LEGACY     256
#define VGIC_NR_SGIS		16
#define VGIC_NR_PPIS		16
#define VGIC_NR_PRIVATE_IRQS	(VGIC_NR_SGIS + VGIC_NR_PPIS)
#define VGIC_MAX_PRIVATE	(VGIC_NR_PRIVATE_IRQS - 1)
#define VGIC_MAX_SPI		1019
#define VGIC_MAX_RESERVED	1023
#define VGIC_MIN_LPI		8192
#define KVM_IRQCHIP_NUM_PINS	(1020 - 32)

enum vgic_type {
	VGIC_V2,		/* Good ol' GICv2 */
	VGIC_V3,		/* New fancy GICv3 */
};

/* same for all guests, as depending only on the _host's_ GIC model */
struct vgic_global {
	/* type of the host GIC */
	enum vgic_type		type;

	/* Physical address of vgic virtual cpu interface */
	phys_addr_t		vcpu_base;

	/* GICV mapping */
	void __iomem		*vcpu_base_va;

	/* virtual control interface mapping */
	void __iomem		*vctrl_base;

	/* Number of implemented list registers */
	int			nr_lr;

	/* Maintenance IRQ number */
	unsigned int		maint_irq;

	/* maximum number of VCPUs allowed (GICv2 limits us to 8) */
	int			max_gic_vcpus;

	/* Only needed for the legacy KVM_CREATE_IRQCHIP */
	bool			can_emulate_gicv2;

	/* GIC system register CPU interface */
	struct static_key_false gicv3_cpuif;

	u32			ich_vtr_el2;
};

extern struct vgic_global kvm_vgic_global_state;

#define VGIC_V2_MAX_LRS		(1 << 6)
#define VGIC_V3_MAX_LRS		16
#define VGIC_V3_LR_INDEX(lr)	(VGIC_V3_MAX_LRS - 1 - lr)

enum vgic_irq_config {
	VGIC_CONFIG_EDGE = 0,
	VGIC_CONFIG_LEVEL
};

struct vgic_irq {
	spinlock_t irq_lock;		/* Protects the content of the struct */
	struct list_head lpi_list;	/* Used to link all LPIs together */
	struct list_head ap_list;

	struct kvm_vcpu *vcpu;		/* SGIs and PPIs: The VCPU
					 * SPIs and LPIs: The VCPU whose ap_list
					 * this is queued on.
					 */

	struct kvm_vcpu *target_vcpu;	/* The VCPU that this interrupt should
					 * be sent to, as a result of the
					 * targets reg (v2) or the
					 * affinity reg (v3).
					 */

	u32 intid;			/* Guest visible INTID */
	bool line_level;		/* Level only */
	bool pending_latch;		/* The pending latch state used to calculate
					 * the pending state for both level
					 * and edge triggered IRQs. */
	bool active;			/* not used for LPIs */
	bool enabled;
	bool hw;			/* Tied to HW IRQ */
	struct kref refcount;		/* Used for LPIs */
	u32 hwintid;			/* HW INTID number */
	union {
		u8 targets;			/* GICv2 target VCPUs mask */
		u32 mpidr;			/* GICv3 target VCPU */
	};
	u8 source;			/* GICv2 SGIs only */
	u8 priority;
	enum vgic_irq_config config;	/* Level or edge */
};

struct vgic_register_region;
struct vgic_its;

enum iodev_type {
	IODEV_CPUIF,
	IODEV_DIST,
	IODEV_REDIST,
	IODEV_ITS
};

struct vgic_io_device {
	gpa_t base_addr;
	union {
		struct kvm_vcpu *redist_vcpu;
		struct vgic_its *its;
	};
	const struct vgic_register_region *regions;
	enum iodev_type iodev_type;
	int nr_regions;
	struct kvm_io_device dev;
};

struct vgic_its {
	/* The base address of the ITS control register frame */
	gpa_t			vgic_its_base;

	bool			enabled;
	struct vgic_io_device	iodev;
	struct kvm_device	*dev;

	/* These registers correspond to GITS_BASER{0,1} */
	u64			baser_device_table;
	u64			baser_coll_table;

	/* Protects the command queue */
	struct mutex		cmd_lock;
	u64			cbaser;
	u32			creadr;
	u32			cwriter;

	/* migration ABI revision in use */
	u32			abi_rev;

	/* Protects the device and collection lists */
	struct mutex		its_lock;
	struct list_head	device_list;
	struct list_head	collection_list;
};

struct vgic_state_iter;

struct vgic_dist {
	bool			in_kernel;
	bool			ready;
	bool			initialized;

	/* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
	u32			vgic_model;

	/* Do injected MSIs require an additional device ID? */
	bool			msis_require_devid;

	int			nr_spis;

	/* TODO: Consider moving to global state */
	/* Virtual control interface mapping */
	void __iomem		*vctrl_base;

	/* base addresses in guest physical address space: */
	gpa_t			vgic_dist_base;		/* distributor */
	union {
		/* either a GICv2 CPU interface */
		gpa_t			vgic_cpu_base;
		/* or a number of GICv3 redistributor regions */
		gpa_t			vgic_redist_base;
	};

	/* distributor enabled */
	bool			enabled;

	struct vgic_irq		*spis;

	struct vgic_io_device	dist_iodev;

	bool			has_its;

	/*
	 * Contains the attributes and gpa of the LPI configuration table.
	 * Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
	 * one address across all redistributors.
	 * GICv3 spec: 6.1.2 "LPI Configuration tables"
	 */
	u64			propbaser;

	/* Protects the lpi_list and the count value below. */
	spinlock_t		lpi_list_lock;
	struct list_head	lpi_list_head;
	int			lpi_list_count;

	/* used by vgic-debug */
	struct vgic_state_iter *iter;
};

struct vgic_v2_cpu_if {
	u32		vgic_hcr;
	u32		vgic_vmcr;
	u64		vgic_elrsr;	/* Saved only */
	u32		vgic_apr;
	u32		vgic_lr[VGIC_V2_MAX_LRS];
};

struct vgic_v3_cpu_if {
	u32		vgic_hcr;
	u32		vgic_vmcr;
	u32		vgic_sre;	/* Restored only, change ignored */
	u32		vgic_elrsr;	/* Saved only */
	u32		vgic_ap0r[4];
	u32		vgic_ap1r[4];
	u64		vgic_lr[VGIC_V3_MAX_LRS];
};

struct vgic_cpu {
	/* CPU vif control registers for world switch */
	union {
		struct vgic_v2_cpu_if	vgic_v2;
		struct vgic_v3_cpu_if	vgic_v3;
	};

	unsigned int used_lrs;
	struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS];

	spinlock_t ap_list_lock;	/* Protects the ap_list */

	/*
	 * List of IRQs that this VCPU should consider because they are either
	 * Active or Pending (hence the name; AP list), or because they recently
	 * were one of the two and need to be migrated off this list to another
	 * VCPU.
	 */
	struct list_head ap_list_head;

	/*
	 * Members below are used with GICv3 emulation only and represent
	 * parts of the redistributor.
	 */
	struct vgic_io_device	rd_iodev;
	struct vgic_io_device	sgi_iodev;

	/* Contains the attributes and gpa of the LPI pending tables. */
	u64 pendbaser;

	bool lpis_enabled;

	/* Cache guest priority bits */
	u32 num_pri_bits;

	/* Cache guest interrupt ID bits */
	u32 num_id_bits;
};

extern struct static_key_false vgic_v2_cpuif_trap;

int kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write);
void kvm_vgic_early_init(struct kvm *kvm);
int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
int kvm_vgic_create(struct kvm *kvm, u32 type);
void kvm_vgic_destroy(struct kvm *kvm);
void kvm_vgic_vcpu_early_init(struct kvm_vcpu *vcpu);
void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
int kvm_vgic_map_resources(struct kvm *kvm);
int kvm_vgic_hyp_init(void);
void kvm_vgic_init_cpu_hardware(void);

int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
			bool level);
int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid, unsigned int intid,
			       bool level);
int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, u32 virt_irq, u32 phys_irq);
int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int virt_irq);
bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int virt_irq);

int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);

void kvm_vgic_load(struct kvm_vcpu *vcpu);
void kvm_vgic_put(struct kvm_vcpu *vcpu);

#define irqchip_in_kernel(k)	(!!((k)->arch.vgic.in_kernel))
#define vgic_initialized(k)	((k)->arch.vgic.initialized)
#define vgic_ready(k)		((k)->arch.vgic.ready)
#define vgic_valid_spi(k, i)	(((i) >= VGIC_NR_PRIVATE_IRQS) && \
			((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))

bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);

void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg);

/**
 * kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
 *
 * The host's GIC naturally limits the maximum amount of VCPUs a guest
 * can use.
 */
static inline int kvm_vgic_get_max_vcpus(void)
{
	return kvm_vgic_global_state.max_gic_vcpus;
}

int kvm_send_userspace_msi(struct kvm *kvm, struct kvm_msi *msi);

/**
 * kvm_vgic_setup_default_irq_routing:
 * Setup a default flat gsi routing table mapping all SPIs
 */
int kvm_vgic_setup_default_irq_routing(struct kvm *kvm);

#endif /* __KVM_ARM_VGIC_H */
Commit	Line	Data
1a89dd91	1	/*
50926d82	2	* Copyright (C) 2015, 2016 ARM Ltd.
1a89dd91 MZ	3	*
	4	* This program is free software; you can redistribute it and/or modify
	5	* it under the terms of the GNU General Public License version 2 as
	6	* published by the Free Software Foundation.
	7	*
	8	* This program is distributed in the hope that it will be useful,
	9	* but WITHOUT ANY WARRANTY; without even the implied warranty of
	10	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	11	* GNU General Public License for more details.
	12	*
	13	* You should have received a copy of the GNU General Public License
50926d82	14	* along with this program. If not, see <http://www.gnu.org/licenses/>.
1a89dd91	15	*/
50926d82 MZ	16	#ifndef __KVM_ARM_VGIC_H
50926d82 MZ	17	#define __KVM_ARM_VGIC_H
b18b5778	18
b47ef92a MZ	19	#include <linux/kernel.h>
b47ef92a MZ	20	#include <linux/kvm.h>
b47ef92a MZ	21	#include <linux/irqreturn.h>
b47ef92a MZ	22	#include <linux/spinlock.h>
fb5ee369	23	#include <linux/static_key.h>
b47ef92a	24	#include <linux/types.h>
6777f77f	25	#include <kvm/iodev.h>
424c3383	26	#include <linux/list.h>
5a7a8426	27	#include <linux/jump_label.h>
1a89dd91	28
50926d82 MZ	29	#define VGIC_V3_MAX_CPUS 255
	30	#define VGIC_V2_MAX_CPUS 8
	31	#define VGIC_NR_IRQS_LEGACY 256
b47ef92a MZ	32	#define VGIC_NR_SGIS 16
	33	#define VGIC_NR_PPIS 16
	34	#define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
50926d82 MZ	35	#define VGIC_MAX_PRIVATE (VGIC_NR_PRIVATE_IRQS - 1)
	36	#define VGIC_MAX_SPI 1019
	37	#define VGIC_MAX_RESERVED 1023
	38	#define VGIC_MIN_LPI 8192
180ae7b1	39	#define KVM_IRQCHIP_NUM_PINS (1020 - 32)
8f186d52	40
50926d82 MZ	41	enum vgic_type {
	42	VGIC_V2, /* Good ol' GICv2 */
	43	VGIC_V3, /* New fancy GICv3 */
	44	};
b47ef92a	45
50926d82 MZ	46	/* same for all guests, as depending only on the _host's_ GIC model */
	47	struct vgic_global {
	48	/* type of the host GIC */
	49	enum vgic_type type;
b47ef92a	50
50926d82 MZ	51	/* Physical address of vgic virtual cpu interface */
50926d82 MZ	52	phys_addr_t vcpu_base;
b47ef92a	53
bf8feb39 MZ	54	/* GICV mapping */
	55	void __iomem *vcpu_base_va;
	56
50926d82 MZ	57	/* virtual control interface mapping */
50926d82 MZ	58	void __iomem *vctrl_base;
b47ef92a	59
50926d82 MZ	60	/* Number of implemented list registers */
50926d82 MZ	61	int nr_lr;
8d5c6b06	62
50926d82 MZ	63	/* Maintenance IRQ number */
50926d82 MZ	64	unsigned int maint_irq;
1a9b1305	65
50926d82 MZ	66	/* maximum number of VCPUs allowed (GICv2 limits us to 8) */
50926d82 MZ	67	int max_gic_vcpus;
8d5c6b06	68
50926d82 MZ	69	/* Only needed for the legacy KVM_CREATE_IRQCHIP */
50926d82 MZ	70	bool can_emulate_gicv2;
5a7a8426 VM	71
	72	/* GIC system register CPU interface */
	73	struct static_key_false gicv3_cpuif;
d017d7b0 VK	74
d017d7b0 VK	75	u32 ich_vtr_el2;
8d5c6b06 MZ	76	};
8d5c6b06 MZ	77
50926d82	78	extern struct vgic_global kvm_vgic_global_state;
beee38b9	79
50926d82 MZ	80	#define VGIC_V2_MAX_LRS (1 << 6)
	81	#define VGIC_V3_MAX_LRS 16
	82	#define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)
8d5c6b06	83
50926d82 MZ	84	enum vgic_irq_config {
	85	VGIC_CONFIG_EDGE = 0,
	86	VGIC_CONFIG_LEVEL
ca85f623 MZ	87	};
ca85f623 MZ	88
50926d82 MZ	89	struct vgic_irq {
50926d82 MZ	90	spinlock_t irq_lock; /* Protects the content of the struct */
3802411d	91	struct list_head lpi_list; /* Used to link all LPIs together */
50926d82 MZ	92	struct list_head ap_list;
	93
	94	struct kvm_vcpu vcpu; / SGIs and PPIs: The VCPU
	95	* SPIs and LPIs: The VCPU whose ap_list
	96	* this is queued on.
	97	*/
	98
	99	struct kvm_vcpu target_vcpu; / The VCPU that this interrupt should
	100	* be sent to, as a result of the
	101	* targets reg (v2) or the
	102	* affinity reg (v3).
	103	*/
	104
	105	u32 intid; /* Guest visible INTID */
50926d82	106	bool line_level; /* Level only */
8694e4da CD	107	bool pending_latch; /* The pending latch state used to calculate
	108	* the pending state for both level
	109	* and edge triggered IRQs. */
50926d82 MZ	110	bool active; /* not used for LPIs */
	111	bool enabled;
	112	bool hw; /* Tied to HW IRQ */
5dd4b924	113	struct kref refcount; /* Used for LPIs */
50926d82 MZ	114	u32 hwintid; /* HW INTID number */
	115	union {
	116	u8 targets; /* GICv2 target VCPUs mask */
	117	u32 mpidr; /* GICv3 target VCPU */
	118	};
	119	u8 source; /* GICv2 SGIs only */
	120	u8 priority;
	121	enum vgic_irq_config config; /* Level or edge */
b26e5fda AP	122	};
b26e5fda AP	123
50926d82	124	struct vgic_register_region;
59c5ab40 AP	125	struct vgic_its;
	126
	127	enum iodev_type {
	128	IODEV_CPUIF,
	129	IODEV_DIST,
	130	IODEV_REDIST,
	131	IODEV_ITS
	132	};
50926d82	133
6777f77f	134	struct vgic_io_device {
50926d82	135	gpa_t base_addr;
59c5ab40 AP	136	union {
	137	struct kvm_vcpu *redist_vcpu;
	138	struct vgic_its *its;
	139	};
50926d82	140	const struct vgic_register_region *regions;
59c5ab40	141	enum iodev_type iodev_type;
50926d82	142	int nr_regions;
6777f77f AP	143	struct kvm_io_device dev;
	144	};
	145
59c5ab40 AP	146	struct vgic_its {
	147	/* The base address of the ITS control register frame */
	148	gpa_t vgic_its_base;
	149
	150	bool enabled;
	151	struct vgic_io_device iodev;
bb717644	152	struct kvm_device *dev;
424c3383 AP	153
	154	/* These registers correspond to GITS_BASER{0,1} */
	155	u64 baser_device_table;
	156	u64 baser_coll_table;
	157
	158	/* Protects the command queue */
	159	struct mutex cmd_lock;
	160	u64 cbaser;
	161	u32 creadr;
	162	u32 cwriter;
	163
71afe470 EA	164	/* migration ABI revision in use */
	165	u32 abi_rev;
	166
424c3383 AP	167	/* Protects the device and collection lists */
	168	struct mutex its_lock;
	169	struct list_head device_list;
	170	struct list_head collection_list;
59c5ab40 AP	171	};
59c5ab40 AP	172
10f92c4c CD	173	struct vgic_state_iter;
10f92c4c CD	174
1a89dd91	175	struct vgic_dist {
f982cf4e	176	bool in_kernel;
01ac5e34	177	bool ready;
50926d82	178	bool initialized;
b47ef92a	179
59892136 AP	180	/* vGIC model the kernel emulates for the guest (GICv2 or GICv3) */
	181	u32 vgic_model;
	182
0e4e82f1 AP	183	/* Do injected MSIs require an additional device ID? */
	184	bool msis_require_devid;
	185
50926d82	186	int nr_spis;
c1bfb577	187
50926d82	188	/* TODO: Consider moving to global state */
b47ef92a MZ	189	/* Virtual control interface mapping */
	190	void __iomem *vctrl_base;
	191
50926d82 MZ	192	/* base addresses in guest physical address space: */
50926d82 MZ	193	gpa_t vgic_dist_base; /* distributor */
a0675c25	194	union {
50926d82 MZ	195	/* either a GICv2 CPU interface */
	196	gpa_t vgic_cpu_base;
	197	/* or a number of GICv3 redistributor regions */
	198	gpa_t vgic_redist_base;
a0675c25	199	};
b47ef92a	200
50926d82 MZ	201	/* distributor enabled */
50926d82 MZ	202	bool enabled;
47a98b15	203
50926d82	204	struct vgic_irq *spis;
b47ef92a	205
a9cf86f6	206	struct vgic_io_device dist_iodev;
0aa1de57	207
1085fdc6 AP	208	bool has_its;
1085fdc6 AP	209
0aa1de57 AP	210	/*
	211	* Contains the attributes and gpa of the LPI configuration table.
	212	* Since we report GICR_TYPER.CommonLPIAff as 0b00, we can share
	213	* one address across all redistributors.
	214	* GICv3 spec: 6.1.2 "LPI Configuration tables"
	215	*/
	216	u64 propbaser;
3802411d AP	217
	218	/* Protects the lpi_list and the count value below. */
	219	spinlock_t lpi_list_lock;
	220	struct list_head lpi_list_head;
	221	int lpi_list_count;
10f92c4c CD	222
	223	/* used by vgic-debug */
	224	struct vgic_state_iter *iter;
1a89dd91 MZ	225	};
1a89dd91 MZ	226
eede821d MZ	227	struct vgic_v2_cpu_if {
	228	u32 vgic_hcr;
	229	u32 vgic_vmcr;
2df36a5d	230	u64 vgic_elrsr; /* Saved only */
eede821d	231	u32 vgic_apr;
8f186d52	232	u32 vgic_lr[VGIC_V2_MAX_LRS];
eede821d MZ	233	};
eede821d MZ	234
b2fb1c0d	235	struct vgic_v3_cpu_if {
b2fb1c0d MZ	236	u32 vgic_hcr;
b2fb1c0d MZ	237	u32 vgic_vmcr;
2f5fa41a	238	u32 vgic_sre; /* Restored only, change ignored */
b2fb1c0d MZ	239	u32 vgic_elrsr; /* Saved only */
	240	u32 vgic_ap0r[4];
	241	u32 vgic_ap1r[4];
	242	u64 vgic_lr[VGIC_V3_MAX_LRS];
b2fb1c0d MZ	243	};
b2fb1c0d MZ	244
1a89dd91	245	struct vgic_cpu {
9d949dce	246	/* CPU vif control registers for world switch */
eede821d MZ	247	union {
eede821d MZ	248	struct vgic_v2_cpu_if vgic_v2;
b2fb1c0d	249	struct vgic_v3_cpu_if vgic_v3;
eede821d	250	};
6c3d63c9	251
50926d82 MZ	252	unsigned int used_lrs;
50926d82 MZ	253	struct vgic_irq private_irqs[VGIC_NR_PRIVATE_IRQS];
1a89dd91	254
50926d82	255	spinlock_t ap_list_lock; /* Protects the ap_list */
9d949dce	256
50926d82 MZ	257	/*
	258	* List of IRQs that this VCPU should consider because they are either
	259	* Active or Pending (hence the name; AP list), or because they recently
	260	* were one of the two and need to be migrated off this list to another
	261	* VCPU.
	262	*/
	263	struct list_head ap_list_head;
495dd859	264
8f6cdc1c AP	265	/*
	266	* Members below are used with GICv3 emulation only and represent
	267	* parts of the redistributor.
	268	*/
	269	struct vgic_io_device rd_iodev;
	270	struct vgic_io_device sgi_iodev;
0aa1de57 AP	271
	272	/* Contains the attributes and gpa of the LPI pending tables. */
	273	u64 pendbaser;
	274
	275	bool lpis_enabled;
d017d7b0 VK	276
	277	/* Cache guest priority bits */
	278	u32 num_pri_bits;
	279
	280	/* Cache guest interrupt ID bits */
	281	u32 num_id_bits;
50926d82	282	};
1a89dd91	283
fb5ee369 MZ	284	extern struct static_key_false vgic_v2_cpuif_trap;
fb5ee369 MZ	285
ce01e4e8	286	int kvm_vgic_addr(struct kvm kvm, unsigned long type, u64 addr, bool write);
6c3d63c9	287	void kvm_vgic_early_init(struct kvm *kvm);
1aab6f46	288	int kvm_vgic_vcpu_init(struct kvm_vcpu *vcpu);
59892136	289	int kvm_vgic_create(struct kvm *kvm, u32 type);
c1bfb577	290	void kvm_vgic_destroy(struct kvm *kvm);
6c3d63c9	291	void kvm_vgic_vcpu_early_init(struct kvm_vcpu *vcpu);
c1bfb577	292	void kvm_vgic_vcpu_destroy(struct kvm_vcpu *vcpu);
50926d82 MZ	293	int kvm_vgic_map_resources(struct kvm *kvm);
50926d82 MZ	294	int kvm_vgic_hyp_init(void);
5b0d2cc2	295	void kvm_vgic_init_cpu_hardware(void);
50926d82 MZ	296
50926d82 MZ	297	int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
5863c2ce	298	bool level);
50926d82 MZ	299	int kvm_vgic_inject_mapped_irq(struct kvm *kvm, int cpuid, unsigned int intid,
	300	bool level);
	301	int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, u32 virt_irq, u32 phys_irq);
63306c28	302	int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int virt_irq);
e262f419	303	bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int virt_irq);
1a89dd91	304
50926d82 MZ	305	int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu);
50926d82 MZ	306
328e5664 CD	307	void kvm_vgic_load(struct kvm_vcpu *vcpu);
	308	void kvm_vgic_put(struct kvm_vcpu *vcpu);
	309
f982cf4e	310	#define irqchip_in_kernel(k) (!!((k)->arch.vgic.in_kernel))
50926d82	311	#define vgic_initialized(k) ((k)->arch.vgic.initialized)
c52edf5f	312	#define vgic_ready(k) ((k)->arch.vgic.ready)
2defaff4	313	#define vgic_valid_spi(k, i) (((i) >= VGIC_NR_PRIVATE_IRQS) && \
50926d82 MZ	314	((i) < (k)->arch.vgic.nr_spis + VGIC_NR_PRIVATE_IRQS))
	315
	316	bool kvm_vcpu_has_pending_irqs(struct kvm_vcpu *vcpu);
	317	void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu);
	318	void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu);
9d949dce	319
50926d82	320	void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg);
8f186d52	321
50926d82 MZ	322	/**
	323	* kvm_vgic_get_max_vcpus - Get the maximum number of VCPUs allowed by HW
	324	*
	325	* The host's GIC naturally limits the maximum amount of VCPUs a guest
	326	* can use.
	327	*/
	328	static inline int kvm_vgic_get_max_vcpus(void)
	329	{
	330	return kvm_vgic_global_state.max_gic_vcpus;
	331	}
	332
0e4e82f1 AP	333	int kvm_send_userspace_msi(struct kvm kvm, struct kvm_msi msi);
0e4e82f1 AP	334
180ae7b1 EA	335	/**
	336	* kvm_vgic_setup_default_irq_routing:
	337	* Setup a default flat gsi routing table mapping all SPIs
	338	*/
	339	int kvm_vgic_setup_default_irq_routing(struct kvm *kvm);
	340
50926d82	341	#endif /* __KVM_ARM_VGIC_H */