1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2016,2017 ARM Limited, All Rights Reserved.
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
7 #ifndef __LINUX_IRQCHIP_ARM_GIC_V4_H
8 #define __LINUX_IRQCHIP_ARM_GIC_V4_H
13 * Maximum number of ITTs when GITS_TYPER.VMOVP == 0, using the
14 * ITSList mechanism to perform inter-ITS synchronization.
16 #define GICv4_ITS_LIST_MAX 16
18 /* Embedded in kvm.arch */
20 struct fwnode_handle *fwnode;
21 struct irq_domain *domain;
22 struct page *vprop_page;
23 struct its_vpe **vpes;
25 irq_hw_number_t db_lpi_base;
26 unsigned long *db_bitmap;
28 u32 vlpi_count[GICv4_ITS_LIST_MAX];
31 /* Embedded in kvm_vcpu.arch */
33 struct page *vpt_page;
34 struct its_vm *its_vm;
35 /* per-vPE VLPI tracking */
37 /* Doorbell interrupt */
39 irq_hw_number_t vpe_db_lpi;
43 /* GICv4.0 implementations */
45 /* VPE proxy mapping */
47 /* Implementation Defined Area Invalid */
50 /* GICv4.1 implementations */
52 struct fwnode_handle *fwnode;
53 struct irq_domain *sgi_domain;
64 * Ensures mutual exclusion between affinity setting of the
65 * vPE and vLPI operations using vpe->col_idx.
67 raw_spinlock_t vpe_lock;
69 * This collection ID is used to indirect the target
70 * redistributor for this VPE. The ID itself isn't involved in
71 * programming of the ITS.
74 /* Unique (system-wide) VPE identifier */
76 /* Pending VLPIs on schedule out? */
81 * struct its_vlpi_map: structure describing the mapping of a
82 * VLPI. Only to be interpreted in the context of a physical interrupt
83 * it complements. To be used as the vcpu_info passed to
84 * irq_set_vcpu_affinity().
86 * @vm: Pointer to the GICv4 notion of a VM
87 * @vpe: Pointer to the GICv4 notion of a virtual CPU (VPE)
88 * @vintid: Virtual LPI number
89 * @properties: Priority and enable bits (as written in the prop table)
90 * @db_enabled: Is the VPE doorbell to be generated?
100 enum its_vcpu_info_cmd_type {
104 PROP_UPDATE_AND_INV_VLPI,
111 struct its_cmd_info {
112 enum its_vcpu_info_cmd_type cmd_type;
114 struct its_vlpi_map *map;
128 int its_alloc_vcpu_irqs(struct its_vm *vm);
129 void its_free_vcpu_irqs(struct its_vm *vm);
130 int its_make_vpe_resident(struct its_vpe *vpe, bool g0en, bool g1en);
131 int its_make_vpe_non_resident(struct its_vpe *vpe, bool db);
132 int its_invall_vpe(struct its_vpe *vpe);
133 int its_map_vlpi(int irq, struct its_vlpi_map *map);
134 int its_get_vlpi(int irq, struct its_vlpi_map *map);
135 int its_unmap_vlpi(int irq);
136 int its_prop_update_vlpi(int irq, u8 config, bool inv);
137 int its_prop_update_vsgi(int irq, u8 priority, bool group);
139 struct irq_domain_ops;
140 int its_init_v4(struct irq_domain *domain,
141 const struct irq_domain_ops *vpe_ops,
142 const struct irq_domain_ops *sgi_ops);