gic.h@ 99770

Last change on this file since 99770 was 99734, checked in by vboxsync, 20 months ago
VMM/GIC: Updates to the implementation, implement forwarding of SGIs and PPIs, bugref:10404
Property svn:eol-style set to `native` Property svn:keywords set to `Author Date Id Revision`
File size: 25.0 KB

Line
1	/** @file
2	* ARMv8 Generic Interrupt Controller Architecture v3 (GICv3) definitions.
3	*/
4
5	/*
6	* Copyright (C) 2023 Oracle and/or its affiliates.
7	*
8	* This file is part of VirtualBox base platform packages, as
9	* available from https://www.virtualbox.org.
10	*
11	* This program is free software; you can redistribute it and/or
12	* modify it under the terms of the GNU General Public License
13	* as published by the Free Software Foundation, in version 3 of the
14	* License.
15	*
16	* This program is distributed in the hope that it will be useful, but
17	* WITHOUT ANY WARRANTY; without even the implied warranty of
18	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
19	* General Public License for more details.
20	*
21	* You should have received a copy of the GNU General Public License
22	* along with this program; if not, see <https://www.gnu.org/licenses>.
23	*
24	* The contents of this file may alternatively be used under the terms
25	* of the Common Development and Distribution License Version 1.0
26	* (CDDL), a copy of it is provided in the "COPYING.CDDL" file included
27	* in the VirtualBox distribution, in which case the provisions of the
28	* CDDL are applicable instead of those of the GPL.
29	*
30	* You may elect to license modified versions of this file under the
31	* terms and conditions of either the GPL or the CDDL or both.
32	*
33	* SPDX-License-Identifier: GPL-3.0-only OR CDDL-1.0
34	*/
35
36	#ifndef VBOX_INCLUDED_gic_h
37	#define VBOX_INCLUDED_gic_h
38	#ifndef RT_WITHOUT_PRAGMA_ONCE
39	# pragma once
40	#endif
41
42	#include <iprt/types.h>
43	#include <iprt/armv8.h>
44
45	/** @name INTIDs - Interrupt identifier ranges.
46	* @{ */
47	/** Start of the SGI (Software Generated Interrupts) range. */
48	#define GIC_INTID_RANGE_SGI_START 0
49	/** Last valid SGI (Software Generated Interrupts) identifier. */
50	#define GIC_INTID_RANGE_SGI_LAST 15
51
52	/** Start of the PPI (Private Peripheral Interrupts) range. */
53	#define GIC_INTID_RANGE_PPI_START 16
54	/** Last valid PPI (Private Peripheral Interrupts) identifier. */
55	#define GIC_INTID_RANGE_PPI_LAST 31
56
57	/** Start of the SPI (Shared Peripheral Interrupts) range. */
58	#define GIC_INTID_RANGE_SPI_START 32
59	/** Last valid SPI (Shared Peripheral Interrupts) identifier. */
60	#define GIC_INTID_RANGE_SPI_LAST 1019
61
62	/** Start of the special interrupt range. */
63	#define GIC_INTID_RANGE_SPECIAL_START 1020
64	/** Last valid special interrupt identifier. */
65	#define GIC_INTID_RANGE_SPECIAL_LAST 1023
66	/** Value for an interrupt acknowledge if no pending interrupt with sufficient
67	* priority, security state or interrupt group. */
68	# define GIC_INTID_RANGE_SPECIAL_NO_INTERRUPT 1023
69
70	/** Start of the extended PPI (Private Peripheral Interrupts) range. */
71	#define GIC_INTID_RANGE_EPPI_START 1056
72	/** Last valid extended PPI (Private Peripheral Interrupts) identifier. */
73	#define GIC_INTID_RANGE_EPPI_LAST 1119
74
75	/** Start of the extended SPI (Shared Peripheral Interrupts) range. */
76	#define GIC_INTID_RANGE_ESPI_START 4096
77	/** Last valid extended SPI (Shared Peripheral Interrupts) identifier. */
78	#define GIC_INTID_RANGE_ESPI_LAST 5119
79
80	/** Start of the LPI (Locality-specific Peripheral Interrupts) range. */
81	#define GIC_INTID_RANGE_LPI_START 8192
82	/** @} */
83
84
85	/** @name GICD - GIC Distributor registers.
86	* @{ */
87	/** Size of the distributor register frame. */
88	#define GIC_DIST_REG_FRAME_SIZE _64K
89
90	/** Distributor Control Register - RW. */
91	#define GIC_DIST_REG_CTLR_OFF 0x0000
92	/** Bit 0 - Enable Group 0 interrupts. */
93	# define GIC_DIST_REG_CTRL_ENABLE_GRP0 RT_BIT_32(0)
94	# define GIC_DIST_REG_CTRL_ENABLE_GRP0_BIT 0
95	/** Bit 1 - Enable Non-secure Group 1 interrupts. */
96	# define GIC_DIST_REG_CTRL_ENABLE_GRP1_NS RT_BIT_32(1)
97	# define GIC_DIST_REG_CTRL_ENABLE_GRP1_NS_BIT 1
98	/** Bit 2 - Enable Secure Group 1 interrupts. */
99	# define GIC_DIST_REG_CTRL_ENABLE_GRP1_S RT_BIT_32(2)
100	# define GIC_DIST_REG_CTRL_ENABLE_GRP1_S_BIT 2
101	/** Bit 4 - Affinity Routing Enable, Secure state. */
102	# define GIC_DIST_REG_CTRL_ARE_S RT_BIT_32(4)
103	# define GIC_DIST_REG_CTRL_ARE_S_BIT 4
104	/** Bit 5 - Affinity Routing Enable, Non-secure state. */
105	# define GIC_DIST_REG_CTRL_ARE_NS RT_BIT_32(5)
106	# define GIC_DIST_REG_CTRL_ARE_NS_BIT 5
107	/** Bit 6 - Disable Security. */
108	# define GIC_DIST_REG_CTRL_DS RT_BIT_32(6)
109	# define GIC_DIST_REG_CTRL_DS_BIT 6
110	/** Bit 7 - Enable 1 of N Wakeup Functionality. */
111	# define GIC_DIST_REG_CTRL_E1NWF RT_BIT_32(7)
112	# define GIC_DIST_REG_CTRL_E1NWF_BIT 7
113	/** Bit 31 - Register Write Pending. */
114	# define GIC_DIST_REG_CTRL_RWP RT_BIT_32(31)
115	# define GIC_DIST_REG_CTRL_RWP_BIT 31
116
117	/** Interrupt Controller Type Register - RO. */
118	#define GIC_DIST_REG_TYPER_OFF 0x0004
119	/** Bit 0 - 4 - Maximum number of SPIs supported. */
120	# define GIC_DIST_REG_TYPER_NUM_ITLINES ( RT_BIT_32(0) \| RT_BIT_32(1) \| RT_BIT(2) \
121	\| RT_BIT_32(3) \| RT_BIT_32(4))
122	# define GIC_DIST_REG_TYPER_NUM_ITLINES_SET(a_NumSpis) ((a_NumSpis) & GIC_DIST_REG_TYPER_NUM_ITLINES)
123	/** Bit 5 - 7 - Reports number of PEs that can be used when affinity routing is not enabled, minus 1. */
124	# define GIC_DIST_REG_TYPER_NUM_PES (RT_BIT_32(5) \| RT_BIT_32(6) \| RT_BIT(7))
125	# define GIC_DIST_REG_TYPER_NUM_PES_SET(a_Pes) (((a_Pes) << 5) & GIC_DIST_REG_TYPER_NUM_PES)
126	/** Bit 8 - Extended SPI range implemented. */
127	# define GIC_DIST_REG_TYPER_ESPI RT_BIT_32(8)
128	# define GIC_DIST_REG_TYPER_ESPI_BIT 8
129	/** Bit 9 - Non-maskable interrupt priority supported. */
130	# define GIC_DIST_REG_TYPER_NMI RT_BIT_32(9)
131	# define GIC_DIST_REG_TYPER_NMI_BIT 9
132	/** Bit 10 - Indicates whether the implementation supports two security states. */
133	# define GIC_DIST_REG_TYPER_SECURITY_EXTN RT_BIT_32(10)
134	# define GIC_DIST_REG_TYPER_SECURITY_EXTN_BIT 10
135	/** Bit 11 - 15 - The number of supported LPIs. */
136	# define GIC_DIST_REG_TYPER_NUM_LPIS ( RT_BIT_32(11) \| RT_BIT_32(12) \| RT_BIT(13) \
137	\| RT_BIT_32(14) \| RT_BIT_32(15))
138	# define GIC_DIST_REG_TYPER_NUM_LPIS_SET(a_Lpis) (((a_Lpis) << 11) & GIC_DIST_REG_TYPER_NUM_LPIS)
139	/** Bit 16 - Indicates whether the implementation supports message based interrupts by writing to Distributor registers. */
140	# define GIC_DIST_REG_TYPER_MBIS RT_BIT_32(16)
141	# define GIC_DIST_REG_TYPER_MBIS_BIT 16
142	/** Bit 17 - Indicates whether the implementation supports LPIs. */
143	# define GIC_DIST_REG_TYPER_LPIS RT_BIT_32(17)
144	# define GIC_DIST_REG_TYPER_LPIS_BIT 17
145	/** Bit 18 - Indicates whether the implementation supports Direct Virtual LPI injection (FEAT_GICv4). */
146	# define GIC_DIST_REG_TYPER_DVIS RT_BIT_32(18)
147	# define GIC_DIST_REG_TYPER_DVIS_BIT 18
148	/** Bit 19 - 23 - The number of interrupt identifer bits supported, minus one. */
149	# define GIC_DIST_REG_TYPER_IDBITS ( RT_BIT_32(19) \| RT_BIT_32(20) \| RT_BIT(21) \
150	\| RT_BIT_32(22) \| RT_BIT_32(23))
151	# define GIC_DIST_REG_TYPER_IDBITS_SET(a_Bits) (((a_Bits) << 19) & GIC_DIST_REG_TYPER_IDBITS)
152	/** Bit 24 - Affinity 3 valid. Indicates whether the Distributor supports nonzero values of Affinity level 3. */
153	# define GIC_DIST_REG_TYPER_A3V RT_BIT_32(24)
154	# define GIC_DIST_REG_TYPER_A3V_BIT 24
155	/** Bit 25 - Indicates whether 1 of N SPI interrupts are supported. */
156	# define GIC_DIST_REG_TYPER_NO1N RT_BIT_32(25)
157	# define GIC_DIST_REG_TYPER_NO1N_BIT 25
158	/** Bit 26 - Range Selector Support. */
159	# define GIC_DIST_REG_TYPER_RSS RT_BIT_32(26)
160	# define GIC_DIST_REG_TYPER_RSS_BIT 26
161	/** Bit 27 - 31 - Indicates maximum INTID in the Extended SPI range. */
162	# define GIC_DIST_REG_TYPER_ESPI_RANGE ( RT_BIT_32(27) \| RT_BIT_32(28) \| RT_BIT(29) \
163	\| RT_BIT_32(30) \| RT_BIT_32(31))
164	# define GIC_DIST_REG_TYPER_ESPI_RANGE_SET(a_Range) (((a_Range) << 27) & GIC_DIST_REG_TYPER_ESPI_RANGE)
165
166	/** Distributor Implementer Identification Register - RO. */
167	#define GIC_DIST_REG_IIDR_OFF 0x0008
168	/** Interrupt Controller Type Register 2 - RO. */
169	#define GIC_DIST_REG_TYPER2_OFF 0x000c
170	/** Error Reporting Status Register (optional) - RW. */
171	#define GIC_DIST_RG_STATUSR_OFF 0x0010
172	/** Set SPI Register - WO. */
173	#define GIC_DIST_REG_SETSPI_NSR_OFF 0x0040
174	/** Clear SPI Register - WO. */
175	#define GIC_DIST_REG_CLRSPI_NSR_OFF 0x0048
176	/** Set SPI, Secure Register - WO. */
177	#define GIC_DIST_REG_SETSPI_SR_OFF 0x0050
178	/** Clear SPI, Secure Register - WO. */
179	#define GIC_DIST_REG_CLRSPI_SR_OFF 0x0058
180
181	/** Interrupt Group Registers, start offset - RW. */
182	#define GIC_DIST_REG_IGROUPRn_OFF_START 0x0080
183	/** Interrupt Group Registers, last offset - RW. */
184	#define GIC_DIST_REG_IGROUPRn_OFF_LAST 0x00fc
185
186	/** Interrupt Set Enable Registers, start offset - RW. */
187	#define GIC_DIST_REG_ISENABLERn_OFF_START 0x0100
188	/** Interrupt Set Enable Registers, last offset - RW. */
189	#define GIC_DIST_REG_ISENABLERn_OFF_LAST 0x017c
190	/** Interrupt Clear Enable Registers, start offset - RW. */
191	#define GIC_DIST_REG_ICENABLERn_OFF_START 0x0180
192	/** Interrupt Clear Enable Registers, last offset - RW. */
193	#define GIC_DIST_REG_ICENABLERn_OFF_LAST 0x01fc
194
195	/** Interrupt Set Pending Registers, start offset - RW. */
196	#define GIC_DIST_REG_ISPENDRn_OFF_START 0x0200
197	/** Interrupt Set Pending Registers, last offset - RW. */
198	#define GIC_DIST_REG_ISPENDRn_OFF_LAST 0x027c
199	/** Interrupt Clear Pending Registers, start offset - RW. */
200	#define GIC_DIST_REG_ICPENDRn_OFF_START 0x0280
201	/** Interrupt Clear Pending Registers, last offset - RW. */
202	#define GIC_DIST_REG_ICPENDRn_OFF_LAST 0x02fc
203
204	/** Interrupt Set Active Registers, start offset - RW. */
205	#define GIC_DIST_REG_ISACTIVERn_OFF_START 0x0300
206	/** Interrupt Set Active Registers, last offset - RW. */
207	#define GIC_DIST_REG_ISACTIVERn_OFF_LAST 0x037c
208	/** Interrupt Clear Active Registers, start offset - RW. */
209	#define GIC_DIST_REG_ICACTIVERn_OFF_START 0x0380
210	/** Interrupt Clear Active Registers, last offset - RW. */
211	#define GIC_DIST_REG_ICACTIVERn_OFF_LAST 0x03fc
212
213	/** Interrupt Priority Registers, start offset - RW. */
214	#define GIC_DIST_REG_IPRIORITYn_OFF_START 0x0400
215	/** Interrupt Priority Registers, last offset - RW. */
216	#define GIC_DIST_REG_IPRIORITYn_OFF_LAST 0x07f8
217
218	/** Interrupt Processor Targets Registers, start offset - RO/RW. */
219	#define GIC_DIST_REG_ITARGETSRn_OFF_START 0x0800
220	/** Interrupt Processor Targets Registers, last offset - RO/RW. */
221	#define GIC_DIST_REG_ITARGETSRn_OFF_LAST 0x0bf8
222
223	/** Interrupt Configuration Registers, start offset - RW. */
224	#define GIC_DIST_REG_ICFGRn_OFF_START 0x0c00
225	/** Interrupt Configuration Registers, last offset - RW. */
226	#define GIC_DIST_REG_ICFGRn_OFF_LAST 0x0cfc
227
228	/** Interrupt Group Modifier Registers, start offset - RW. */
229	#define GIC_DIST_REG_IGRPMODRn_OFF_START 0x0d00
230	/** Interrupt Group Modifier Registers, last offset - RW. */
231	#define GIC_DIST_REG_IGRPMODRn_OFF_LAST 0x0d7c
232
233	/** Non-secure Access Control Registers, start offset - RW. */
234	#define GIC_DIST_REG_NSACRn_OFF_START 0x0e00
235	/** Non-secure Access Control Registers, last offset - RW. */
236	#define GIC_DIST_REG_NSACRn_OFF_LAST 0x0efc
237
238	/** Software Generated Interrupt Register - RW. */
239	#define GIC_DIST_REG_SGIR_OFF 0x0f00
240
241	/** SGI Clear Pending Registers, start offset - RW. */
242	#define GIC_DIST_REG_CPENDSGIRn_OFF_START 0x0f10
243	/** SGI Clear Pending Registers, last offset - RW. */
244	#define GIC_DIST_REG_CPENDSGIRn_OFF_LAST 0x0f1c
245	/** SGI Set Pending Registers, start offset - RW. */
246	#define GIC_DIST_REG_SPENDSGIRn_OFF_START 0x0f20
247	/** SGI Set Pending Registers, last offset - RW. */
248	#define GIC_DIST_REG_SPENDSGIRn_OFF_LAST 0x0f2c
249
250	/** Non-maskable Interrupt Registers, start offset - RW. */
251	#define GIC_DIST_REG_INMIn_OFF_START 0x0f80
252	/** Non-maskable Interrupt Registers, last offset - RW. */
253	#define GIC_DIST_REG_INMIn_OFF_LAST 0x0ffc
254
255
256	/** Interrupt Group Registers for extended SPI range, start offset - RW. */
257	#define GIC_DIST_REG_IGROUPRnE_OFF_START 0x1000
258	/** Interrupt Group Registers for extended SPI range, last offset - RW. */
259	#define GIC_DIST_REG_IGROUPRnE_OFF_LAST 0x107c
260
261	/** Interrupt Set Enable Registers for extended SPI range, start offset - RW. */
262	#define GIC_DIST_REG_ISENABLERnE_OFF_START 0x1200
263	/** Interrupt Set Enable Registers for extended SPI range, last offset - RW. */
264	#define GIC_DIST_REG_ISENABLERnE_OFF_LAST 0x127c
265	/** Interrupt Clear Enable Registers for extended SPI range, start offset - RW. */
266	#define GIC_DIST_REG_ICENABLERnE_OFF_START 0x1400
267	/** Interrupt Clear Enable Registers for extended SPI range, last offset - RW. */
268	#define GIC_DIST_REG_ICENABLERnE_OFF_LAST 0x147c
269
270	/** Interrupt Set Pending Registers for extended SPI range, start offset - RW. */
271	#define GIC_DIST_REG_ISPENDRnE_OFF_START 0x1600
272	/** Interrupt Set Pending Registers for extended SPI range, last offset - RW. */
273	#define GIC_DIST_REG_ISPENDRnE_OFF_LAST 0x167c
274	/** Interrupt Clear Pending Registers for extended SPI range, start offset - RW. */
275	#define GIC_DIST_REG_ICPENDRnE_OFF_START 0x1800
276	/** Interrupt Clear Pending Registers for extended SPI range, last offset - RW. */
277	#define GIC_DIST_REG_ICPENDRnE_OFF_LAST 0x187c
278
279	/** Interrupt Set Active Registers for extended SPI range, start offset - RW. */
280	#define GIC_DIST_REG_ISACTIVERnE_OFF_START 0x1a00
281	/** Interrupt Set Active Registers for extended SPI range, last offset - RW. */
282	#define GIC_DIST_REG_ISACTIVERnE_OFF_LAST 0x1a7c
283	/** Interrupt Clear Active Registers for extended SPI range, start offset - RW. */
284	#define GIC_DIST_REG_ICACTIVERnE_OFF_START 0x1c00
285	/** Interrupt Clear Active Registers for extended SPI range, last offset - RW. */
286	#define GIC_DIST_REG_ICACTIVERnE_OFF_LAST 0x1c7c
287
288	/** Interrupt Priority Registers for extended SPI range, start offset - RW. */
289	#define GIC_DIST_REG_IPRIORITYnE_OFF_START 0x2000
290	/** Interrupt Priority Registers for extended SPI range, last offset - RW. */
291	#define GIC_DIST_REG_IPRIORITYnE_OFF_LAST 0x23fc
292
293	/** Interrupt Configuration Registers for extended SPI range, start offset - RW. */
294	#define GIC_DIST_REG_ICFGRnE_OFF_START 0x3000
295	/** Interrupt Configuration Registers for extended SPI range, last offset - RW. */
296	#define GIC_DIST_REG_ICFGRnE_OFF_LAST 0x30fc
297
298	/** Interrupt Group Modifier Registers for extended SPI range, start offset - RW. */
299	#define GIC_DIST_REG_IGRPMODRnE_OFF_START 0x3400
300	/** Interrupt Group Modifier Registers for extended SPI range, last offset - RW. */
301	#define GIC_DIST_REG_IGRPMODRnE_OFF_LAST 0x347c
302
303	/** Non-secure Access Control Registers for extended SPI range, start offset - RW. */
304	#define GIC_DIST_REG_NSACRnE_OFF_START 0x3600
305	/** Non-secure Access Control Registers for extended SPI range, last offset - RW. */
306	#define GIC_DIST_REG_NSACRnE_OFF_LAST 0x367c
307
308	/** Non-maskable Interrupt Registers for extended SPIs, start offset - RW. */
309	#define GIC_DIST_REG_INMInE_OFF_START 0x3b00
310	/** Non-maskable Interrupt Registers for extended SPIs, last offset - RW. */
311	#define GIC_DIST_REG_INMInE_OFF_LAST 0x3b7c
312
313	/** Interrupt Routing Registers, start offset - RW. */
314	#define GIC_DIST_REG_IROUTERn_OFF_START 0x6100
315	/** Interrupt Routing Registers, last offset - RW. */
316	#define GIC_DIST_REG_IROUTERn_OFF_LAST 0x7fd8
317	/** Interrupt Routing Registers for extended SPI range, start offset - RW. */
318	#define GIC_DIST_REG_IROUTERnE_OFF_START 0x8000
319	/** Interrupt Routing Registers for extended SPI range, last offset - RW. */
320	#define GIC_DIST_REG_IROUTERnE_OFF_LAST 0x9ffc
321
322	/** Distributor Peripheral ID2 Register - RO. */
323	#define GIC_DIST_REG_PIDR2_OFF 0xffe8
324	/** Bit 4 - 7 - GIC architecture revision */
325	# define GIC_DIST_REG_PIDR2_ARCH_REV ( RT_BIT_32(4) \| RT_BIT_32(5) \| RT_BIT_32(6) \
326	\| RT_BIT_32(7))
327	# define GIC_DIST_REG_PIDR2_ARCH_REV_SET(a_ArchRev) (((a_ArchRev) << 4) & GIC_DIST_REG_PIDR2_ARCH_REV)
328	/** GICv1 architecture revision. */
329	# define GIC_DIST_REG_PIDR2_ARCH_REV_GICV1 0x1
330	/** GICv2 architecture revision. */
331	# define GIC_DIST_REG_PIDR2_ARCH_REV_GICV2 0x2
332	/** GICv3 architecture revision. */
333	# define GIC_DIST_REG_PIDR2_ARCH_REV_GICV3 0x3
334	/** GICv4 architecture revision. */
335	# define GIC_DIST_REG_PIDR2_ARCH_REV_GICV4 0x4
336	/** @} */
337
338
339	/** @name GICD - GIC Redistributor registers.
340	* @{ */
341	/** Size of the redistributor register frame. */
342	#define GIC_REDIST_REG_FRAME_SIZE _64K
343	/** Redistributor Control Register - RW. */
344	#define GIC_REDIST_REG_CTLR_OFF 0x0000
345	/** Implementer Identification Register - RO. */
346	#define GIC_REDIST_REG_IIDR_OFF 0x0004
347	/** Redistributor Type Register - RO. */
348	#define GIC_REDIST_REG_TYPER_OFF 0x0008
349	/** Redistributor Error Reporting Status Register (optional) - RW. */
350	#define GIC_REDIST_REG_STATUSR_OFF 0x0010
351	/** Redistributor Wake Register - RW. */
352	#define GIC_REDIST_REG_WAKER_OFF 0x0014
353	/** Redistributor Report maximum PARTID and PMG Register - RO. */
354	#define GIC_REDIST_REG_MPAMIDR_OFF 0x0018
355	/** Redistributor Set PARTID and PMG Register - RW. */
356	#define GIC_REDIST_REG_PARTIDR_OFF 0x001c
357	/** Redistributor Set LPI Pending Register - WO. */
358	#define GIC_REDIST_REG_SETLPIR_OFF 0x0040
359	/** Redistributor Clear LPI Pending Register - WO. */
360	#define GIC_REDIST_REG_CLRLPIR_OFF 0x0048
361	/** Redistributor Properties Base Address Register - RW. */
362	#define GIC_REDIST_REG_PROPBASER_OFF 0x0070
363	/** Redistributor LPI Pending Table Base Address Register - RW. */
364	#define GIC_REDIST_REG_PENDBASER_OFF 0x0078
365	/** Redistributor Invalidate LPI Register - WO. */
366	#define GIC_REDIST_REG_INVLPIR_OFF 0x00a0
367	/** Redistributor Invalidate All Register - WO. */
368	#define GIC_REDIST_REG_INVALLR_OFF 0x00b0
369	/** Redistributor Synchronize Register - RO. */
370	#define GIC_REDIST_REG_SYNCR_OFF 0x00c0
371
372	/** Redistributor Peripheral ID2 Register - RO. */
373	#define GIC_REDIST_REG_PIDR2_OFF 0xffe8
374	/** Bit 4 - 7 - GIC architecture revision */
375	# define GIC_REDIST_REG_PIDR2_ARCH_REV ( RT_BIT_32(4) \| RT_BIT_32(5) \| RT_BIT_32(6) \
376	\| RT_BIT_32(7))
377	# define GIC_REDIST_REG_PIDR2_ARCH_REV_SET(a_ArchRev) (((a_ArchRev) << 4) & GIC_DIST_REG_PIDR2_ARCH_REV)
378	/** GICv1 architecture revision. */
379	# define GIC_REDIST_REG_PIDR2_ARCH_REV_GICV1 0x1
380	/** GICv2 architecture revision. */
381	# define GIC_REDIST_REG_PIDR2_ARCH_REV_GICV2 0x2
382	/** GICv3 architecture revision. */
383	# define GIC_REDIST_REG_PIDR2_ARCH_REV_GICV3 0x3
384	/** GICv4 architecture revision. */
385	# define GIC_REDIST_REG_PIDR2_ARCH_REV_GICV4 0x4
386	/** @} */
387
388
389	/** @name GICD - GIC SGI and PPI Redistributor registers (Adjacent to the GIC Redistributor register space).
390	* @{ */
391	/** Size of the SGI and PPI redistributor register frame. */
392	#define GIC_REDIST_SGI_PPI_REG_FRAME_SIZE _64K
393
394	/** Interrupt Group Register 0 - RW. */
395	#define GIC_REDIST_SGI_PPI_REG_IGROUPR0_OFF 0x0080
396	/** Interrupt Group Register 1 for extended PPI range - RW. */
397	#define GIC_REDIST_SGI_PPI_REG_IGROUPR1E_OFF 0x0084
398	/** Interrupt Group Register 2 for extended PPI range - RW. */
399	#define GIC_REDIST_SGI_PPI_REG_IGROUPR2E_OFF 0x0084
400
401	/** Interrupt Set Enable Register 0 - RW. */
402	#define GIC_REDIST_SGI_PPI_REG_ISENABLER0_OFF 0x0100
403	/** Interrupt Set Enable Register 1 for extended PPI range - RW. */
404	#define GIC_REDIST_SGI_PPI_REG_ISENABLER1E_OFF 0x0104
405	/** Interrupt Set Enable Register 2 for extended PPI range - RW. */
406	#define GIC_REDIST_SGI_PPI_REG_ISENABLER2E_OFF 0x0108
407
408	/** Interrupt Clear Enable Register 0 - RW. */
409	#define GIC_REDIST_SGI_PPI_REG_ICENABLER0_OFF 0x0180
410	/** Interrupt Clear Enable Register 1 for extended PPI range - RW. */
411	#define GIC_REDIST_SGI_PPI_REG_ICENABLER1E_OFF 0x0184
412	/** Interrupt Clear Enable Register 2 for extended PPI range - RW. */
413	#define GIC_REDIST_SGI_PPI_REG_ICENABLER2E_OFF 0x0188
414
415	/** Interrupt Set Pend Register 0 - RW. */
416	#define GIC_REDIST_SGI_PPI_REG_ISPENDR0_OFF 0x0200
417	/** Interrupt Set Pend Register 1 for extended PPI range - RW. */
418	#define GIC_REDIST_SGI_PPI_REG_ISPENDR1E_OFF 0x0204
419	/** Interrupt Set Pend Register 2 for extended PPI range - RW. */
420	#define GIC_REDIST_SGI_PPI_REG_ISPENDR2E_OFF 0x0208
421
422	/** Interrupt Clear Pend Register 0 - RW. */
423	#define GIC_REDIST_SGI_PPI_REG_ICPENDR0_OFF 0x0280
424	/** Interrupt Clear Pend Register 1 for extended PPI range - RW. */
425	#define GIC_REDIST_SGI_PPI_REG_ICPENDR1E_OFF 0x0284
426	/** Interrupt Clear Pend Register 2 for extended PPI range - RW. */
427	#define GIC_REDIST_SGI_PPI_REG_ICPENDR2E_OFF 0x0288
428
429	/** Interrupt Set Active Register 0 - RW. */
430	#define GIC_REDIST_SGI_PPI_REG_ISACTIVER0_OFF 0x0300
431	/** Interrupt Set Active Register 1 for extended PPI range - RW. */
432	#define GIC_REDIST_SGI_PPI_REG_ISACTIVER1E_OFF 0x0304
433	/** Interrupt Set Active Register 2 for extended PPI range - RW. */
434	#define GIC_REDIST_SGI_PPI_REG_ISACTIVER2E_OFF 0x0308
435
436	/** Interrupt Clear Active Register 0 - RW. */
437	#define GIC_REDIST_SGI_PPI_REG_ICACTIVER0_OFF 0x0380
438	/** Interrupt Clear Active Register 1 for extended PPI range - RW. */
439	#define GIC_REDIST_SGI_PPI_REG_ICACTIVER1E_OFF 0x0384
440	/** Interrupt Clear Active Register 2 for extended PPI range - RW. */
441	#define GIC_REDIST_SGI_PPI_REG_ICACTIVER2E_OFF 0x0388
442
443	/** Interrupt Priority Registers, start offset - RW. */
444	#define GIC_REDIST_SGI_PPI_REG_IPRIORITYn_OFF_START 0x0400
445	/** Interrupt Priority Registers, last offset - RW. */
446	#define GIC_REDIST_SGI_PPI_REG_IPRIORITYn_OFF_LAST 0x041c
447	/** Interrupt Priority Registers for extended PPI range, start offset - RW. */
448	#define GIC_REDIST_SGI_PPI_REG_IPRIORITYnE_OFF_START 0x0420
449	/** Interrupt Priority Registers for extended PPI range, last offset - RW. */
450	#define GIC_REDIST_SGI_PPI_REG_IPRIORITYnE_OFF_LAST 0x045c
451
452	/** SGI Configuration Register - RW. */
453	#define GIC_REDIST_SGI_PPI_REG_ICFGR0_OFF 0x0c00
454	/** PPI Configuration Register - RW. */
455	#define GIC_REDIST_SGI_PPI_REG_ICFGR1_OFF 0x0c04
456	/** Extended PPI Configuration Register, start offset - RW. */
457	#define GIC_REDIST_SGI_PPI_REG_ICFGRnE_OFF_START 0x0c08
458	/** Extended PPI Configuration Register, last offset - RW. */
459	#define GIC_REDIST_SGI_PPI_REG_ICFGRnE_OFF_LAST 0x0c14
460
461	/** Interrupt Group Modifier Register 0 - RW. */
462	#define GIC_REDIST_SGI_PPI_REG_IGRPMODR0_OFF 0x0d00
463	/** Interrupt Group Modifier Register 1 for extended PPI range - RW. */
464	#define GIC_REDIST_SGI_PPI_REG_IGRPMODR1E_OFF 0x0d04
465	/** Interrupt Group Modifier Register 2 for extended PPI range - RW. */
466	#define GIC_REDIST_SGI_PPI_REG_IGRPMODR2E_OFF 0x0d08
467
468	/** Non Secure Access Control Register - RW. */
469	#define GIC_REDIST_SGI_PPI_REG_NSACR_OFF 0x0e00
470
471	/** Non maskable Interrupt Register for PPIs - RW. */
472	#define GIC_REDIST_SGI_PPI_REG_INMIR0_OFF 0x0f80
473	/** Non maskable Interrupt Register for Extended PPIs, start offset - RW. */
474	#define GIC_REDIST_SGI_PPI_REG_INMIRnE_OFF_START 0x0f84
475	/** Non maskable Interrupt Register for Extended PPIs, last offset - RW. */
476	#define GIC_REDIST_SGI_PPI_REG_INMIRnE_OFF_LAST 0x0ffc
477	/** @} */
478
479
480	#endif /* !VBOX_INCLUDED_gic_h */
481

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/include/VBox/gic.h@ 99770

Download in other formats: