gicv3_private.h 17.6 KB
Newer Older
1
/*
2
 * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved.
3
 *
dp-arm's avatar
dp-arm committed
4
 * SPDX-License-Identifier: BSD-3-Clause
5
6
 */

7
8
#ifndef GICV3_PRIVATE_H
#define GICV3_PRIVATE_H
9

10
#include <assert.h>
11
#include <stdint.h>
12
13
14
15
16

#include <drivers/arm/gic_common.h>
#include <drivers/arm/gicv3.h>
#include <lib/mmio.h>

17
#include "../common/gic_common_private.h"
18
19
20
21
22
23

/*******************************************************************************
 * GICv3 private macro definitions
 ******************************************************************************/

/* Constants to indicate the status of the RWP bit */
Antonio Nino Diaz's avatar
Antonio Nino Diaz committed
24
25
#define RWP_TRUE		U(1)
#define RWP_FALSE		U(0)
26

27
28
/* Calculate GIC register bit number corresponding to its interrupt ID */
#define	BIT_NUM(REG, id)	\
29
	((id) & ((1U << REG##R_SHIFT) - 1U))
30

31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
/*
 * Calculate 8, 32 and 64-bit GICD register offset
 * corresponding to its interrupt ID
 */
#if GIC_EXT_INTID
	/* GICv3.1 */
#define	GICD_OFFSET_8(REG, id)				\
	(((id) <= MAX_SPI_ID) ?				\
	GICD_##REG##R + (uintptr_t)(id) :		\
	GICD_##REG##RE + (uintptr_t)(id) - MIN_ESPI_ID)

#define	GICD_OFFSET(REG, id)						\
	(((id) <= MAX_SPI_ID) ?						\
	GICD_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 2) :	\
	GICD_##REG##RE + ((((uintptr_t)(id) - MIN_ESPI_ID) >>		\
					REG##R_SHIFT) << 2))

#define	GICD_OFFSET_64(REG, id)						\
	(((id) <= MAX_SPI_ID) ?						\
	GICD_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 3) :	\
	GICD_##REG##RE + (((uintptr_t)(id) - MIN_ESPI_ID) << 3))

#else	/* GICv3 */
54
#define	GICD_OFFSET_8(REG, id)	\
55
	(GICD_##REG##R + (uintptr_t)(id))
56
57

#define	GICD_OFFSET(REG, id)	\
58
	(GICD_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 2))
59
60

#define	GICD_OFFSET_64(REG, id)	\
61
62
	(GICD_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 3))
#endif	/* GIC_EXT_INTID */
63

64
65
66
67
/*
 * Read/Write 8, 32 and 64-bit GIC Distributor register
 * corresponding to its interrupt ID
 */
68
69
70
71
72
73
#define GICD_READ(REG, base, id)	\
	mmio_read_32((base) + GICD_OFFSET(REG, (id)))

#define GICD_READ_64(REG, base, id)	\
	mmio_read_64((base) + GICD_OFFSET_64(REG, (id)))

74
75
#define GICD_WRITE_8(REG, base, id, val)	\
	mmio_write_8((base) + GICD_OFFSET_8(REG, (id)), (val))
76

77
#define GICD_WRITE(REG, base, id, val)	\
78
79
	mmio_write_32((base) + GICD_OFFSET(REG, (id)), (val))

80
81
#define GICD_WRITE_64(REG, base, id, val)	\
	mmio_write_64((base) + GICD_OFFSET_64(REG, (id)), (val))
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

/*
 * Bit operations on GIC Distributor register corresponding
 * to its interrupt ID
 */
/* Get bit in GIC Distributor register */
#define GICD_GET_BIT(REG, base, id)				\
	((mmio_read_32((base) + GICD_OFFSET(REG, (id))) >>	\
		BIT_NUM(REG, (id))) & 1U)

/* Set bit in GIC Distributor register */
#define GICD_SET_BIT(REG, base, id)				\
	mmio_setbits_32((base) + GICD_OFFSET(REG, (id)),	\
		((uint32_t)1 << BIT_NUM(REG, (id))))

/* Clear bit in GIC Distributor register */
#define GICD_CLR_BIT(REG, base, id)				\
	mmio_clrbits_32((base) + GICD_OFFSET(REG, (id)),	\
		((uint32_t)1 << BIT_NUM(REG, (id))))

/* Write bit in GIC Distributor register */
103
#define	GICD_WRITE_BIT(REG, base, id)			\
104
105
106
107
	mmio_write_32((base) + GICD_OFFSET(REG, (id)),	\
		((uint32_t)1 << BIT_NUM(REG, (id))))

/*
108
109
 * Calculate 8 and 32-bit GICR register offset
 * corresponding to its interrupt ID
110
 */
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#if GIC_EXT_INTID
	/* GICv3.1 */
#define	GICR_OFFSET_8(REG, id)				\
	(((id) <= MAX_PPI_ID) ?				\
	GICR_##REG##R + (uintptr_t)(id) :		\
	GICR_##REG##R + (uintptr_t)(id) - (MIN_EPPI_ID - MIN_SPI_ID))

#define GICR_OFFSET(REG, id)						\
	(((id) <= MAX_PPI_ID) ?						\
	GICR_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 2) :	\
	GICR_##REG##R + ((((uintptr_t)(id) - (MIN_EPPI_ID - MIN_SPI_ID))\
						>> REG##R_SHIFT) << 2))
#else	/* GICv3 */
#define	GICR_OFFSET_8(REG, id)	\
	(GICR_##REG##R + (uintptr_t)(id))

127
#define GICR_OFFSET(REG, id)	\
128
129
	(GICR_##REG##R + (((uintptr_t)(id) >> REG##R_SHIFT) << 2))
#endif
130

131
132
133
134
135
136
137
138
139
/* Read/Write GIC Redistributor register corresponding to its interrupt ID */
#define GICR_READ(REG, base, id)			\
	mmio_read_32((base) + GICR_OFFSET(REG, (id)))

#define GICR_WRITE_8(REG, base, id, val)		\
	mmio_write_8((base) + GICR_OFFSET_8(REG, (id)), (val))

#define GICR_WRITE(REG, base, id, val)			\
	mmio_write((base) + GICR_OFFSET(REG, (id)), (val))
140
141
142
143
144
145
146
147
148
149
150
151

/*
 * Bit operations on GIC Redistributor register
 * corresponding to its interrupt ID
 */
/* Get bit in GIC Redistributor register */
#define GICR_GET_BIT(REG, base, id)				\
	((mmio_read_32((base) + GICR_OFFSET(REG, (id))) >>	\
		BIT_NUM(REG, (id))) & 1U)

/* Write bit in GIC Redistributor register */
#define	GICR_WRITE_BIT(REG, base, id)				\
152
	mmio_write_32((base) + GICR_OFFSET(REG, (id)),		\
153
154
155
156
157
158
159
160
161
162
163
164
		((uint32_t)1 << BIT_NUM(REG, (id))))

/* Set bit in GIC Redistributor register */
#define	GICR_SET_BIT(REG, base, id)				\
	mmio_setbits_32((base) + GICR_OFFSET(REG, (id)),	\
		((uint32_t)1 << BIT_NUM(REG, (id))))

/* Clear bit in GIC Redistributor register */
#define	GICR_CLR_BIT(REG, base, id)				\
	mmio_clrbits_32((base) + GICR_OFFSET(REG, (id)),	\
		((uint32_t)1 << BIT_NUM(REG, (id))))

165
166
167
168
169
/*
 * Macro to convert an mpidr to a value suitable for programming into a
 * GICD_IROUTER. Bits[31:24] in the MPIDR are cleared as they are not relevant
 * to GICv3.
 */
170
171
172
173
174
175
static inline u_register_t gicd_irouter_val_from_mpidr(u_register_t mpidr,
						       unsigned int irm)
{
	return (mpidr & ~(U(0xff) << 24)) |
		((irm & IROUTER_IRM_MASK) << IROUTER_IRM_SHIFT);
}
176
177
178
179
180

/*
 * Macro to convert a GICR_TYPER affinity value into a MPIDR value. Bits[31:24]
 * are zeroes.
 */
181
#ifdef __aarch64__
182
183
static inline u_register_t mpidr_from_gicr_typer(uint64_t typer_val)
{
184
185
	return (((typer_val >> 56) & MPIDR_AFFLVL_MASK) << MPIDR_AFF3_SHIFT) |
		((typer_val >> 32) & U(0xffffff));
186
}
187
#else
188
189
static inline u_register_t mpidr_from_gicr_typer(uint64_t typer_val)
{
190
	return (((typer_val) >> 32) & U(0xffffff));
191
}
192
#endif
193

194
195
196
197
198
/*******************************************************************************
 * GICv3 private global variables declarations
 ******************************************************************************/
extern const gicv3_driver_data_t *gicv3_driver_data;

199
/*******************************************************************************
200
201
202
 * Private GICv3 function prototypes for accessing entire registers.
 * Note: The raw register values correspond to multiple interrupt IDs and
 * the number of interrupt IDs involved depends on the register accessed.
203
 ******************************************************************************/
204
205
unsigned int gicd_read_igrpmodr(uintptr_t base, unsigned int id);
void gicd_write_igrpmodr(uintptr_t base, unsigned int id, unsigned int val);
206
207
208
209
210
211
212

/*******************************************************************************
 * Private GICv3 function prototypes for accessing the GIC registers
 * corresponding to a single interrupt ID. These functions use bitwise
 * operations or appropriate register accesses to modify or return
 * the bit-field corresponding the single interrupt ID.
 ******************************************************************************/
213
unsigned int gicd_get_igrpmodr(uintptr_t base, unsigned int id);
214
215
216
unsigned int gicr_get_igrpmodr(uintptr_t base, unsigned int id);
unsigned int gicr_get_igroupr(uintptr_t base, unsigned int id);
unsigned int gicr_get_isactiver(uintptr_t base, unsigned int id);
217
void gicd_set_igrpmodr(uintptr_t base, unsigned int id);
218
219
220
221
222
223
void gicr_set_igrpmodr(uintptr_t base, unsigned int id);
void gicr_set_isenabler(uintptr_t base, unsigned int id);
void gicr_set_icenabler(uintptr_t base, unsigned int id);
void gicr_set_ispendr(uintptr_t base, unsigned int id);
void gicr_set_icpendr(uintptr_t base, unsigned int id);
void gicr_set_igroupr(uintptr_t base, unsigned int id);
224
void gicd_clr_igrpmodr(uintptr_t base, unsigned int id);
225
226
void gicr_clr_igrpmodr(uintptr_t base, unsigned int id);
void gicr_clr_igroupr(uintptr_t base, unsigned int id);
227
void gicr_set_ipriorityr(uintptr_t base, unsigned int id, unsigned int pri);
228
void gicr_set_icfgr(uintptr_t base, unsigned int id, unsigned int cfg);
229
230
231
232

/*******************************************************************************
 * Private GICv3 helper function prototypes
 ******************************************************************************/
Daniel Boulby's avatar
Daniel Boulby committed
233
234
235
void gicv3_spis_config_defaults(uintptr_t gicd_base);
void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base);
unsigned int gicv3_secure_ppi_sgi_config_props(uintptr_t gicr_base,
236
237
		const interrupt_prop_t *interrupt_props,
		unsigned int interrupt_props_num);
Daniel Boulby's avatar
Daniel Boulby committed
238
unsigned int gicv3_secure_spis_config_props(uintptr_t gicd_base,
239
240
		const interrupt_prop_t *interrupt_props,
		unsigned int interrupt_props_num);
241
242
243
244
245
246
247
248
249
250
void gicv3_rdistif_base_addrs_probe(uintptr_t *rdistif_base_addrs,
					unsigned int rdistif_num,
					uintptr_t gicr_base,
					mpidr_hash_fn mpidr_to_core_pos);
void gicv3_rdistif_mark_core_awake(uintptr_t gicr_base);
void gicv3_rdistif_mark_core_asleep(uintptr_t gicr_base);

/*******************************************************************************
 * GIC Distributor interface accessors
 ******************************************************************************/
251
/*
252
 * Wait for updates to:
253
 * GICD_CTLR[2:0] - the Group Enables
254
255
 * GICD_CTLR[7:4] - the ARE bits, E1NWF bit and DS bit
 * GICD_ICENABLER<n> - the clearing of enable state for SPIs
256
257
258
 */
static inline void gicd_wait_for_pending_write(uintptr_t gicd_base)
{
259
260
	while ((gicd_read_ctlr(gicd_base) & GICD_CTLR_RWP_BIT) != 0U) {
	}
261
262
}

263
static inline uint32_t gicd_read_pidr2(uintptr_t base)
264
265
266
267
{
	return mmio_read_32(base + GICD_PIDR2_GICV3);
}

268
static inline uint64_t gicd_read_irouter(uintptr_t base, unsigned int id)
269
{
270
	assert(id >= MIN_SPI_ID);
271
	return GICD_READ_64(IROUTE, base, id);
272
273
274
275
}

static inline void gicd_write_irouter(uintptr_t base,
				      unsigned int id,
276
				      uint64_t affinity)
277
{
278
	assert(id >= MIN_SPI_ID);
279
	GICD_WRITE_64(IROUTE, base, id, affinity);
280
281
282
283
284
285
286
}

static inline void gicd_clr_ctlr(uintptr_t base,
				 unsigned int bitmap,
				 unsigned int rwp)
{
	gicd_write_ctlr(base, gicd_read_ctlr(base) & ~bitmap);
287
	if (rwp != 0U) {
288
		gicd_wait_for_pending_write(base);
289
	}
290
291
292
293
294
295
296
}

static inline void gicd_set_ctlr(uintptr_t base,
				 unsigned int bitmap,
				 unsigned int rwp)
{
	gicd_write_ctlr(base, gicd_read_ctlr(base) | bitmap);
297
	if (rwp != 0U) {
298
		gicd_wait_for_pending_write(base);
299
	}
300
301
302
303
304
}

/*******************************************************************************
 * GIC Redistributor interface accessors
 ******************************************************************************/
305
static inline uint32_t gicr_read_ctlr(uintptr_t base)
306
{
307
	return mmio_read_32(base + GICR_CTLR);
308
309
}

310
static inline void gicr_write_ctlr(uintptr_t base, uint32_t val)
311
{
312
	mmio_write_32(base + GICR_CTLR, val);
313
314
}

315
static inline uint64_t gicr_read_typer(uintptr_t base)
316
317
318
319
{
	return mmio_read_64(base + GICR_TYPER);
}

320
static inline uint32_t gicr_read_waker(uintptr_t base)
321
322
323
324
{
	return mmio_read_32(base + GICR_WAKER);
}

325
static inline void gicr_write_waker(uintptr_t base, uint32_t val)
326
327
328
329
{
	mmio_write_32(base + GICR_WAKER, val);
}

330
/*
331
 * Wait for updates to:
332
333
334
335
 * GICR_ICENABLER0
 * GICR_CTLR.DPG1S
 * GICR_CTLR.DPG1NS
 * GICR_CTLR.DPG0
336
 * GICR_CTLR, which clears EnableLPIs from 1 to 0
337
338
339
 */
static inline void gicr_wait_for_pending_write(uintptr_t gicr_base)
{
340
341
	while ((gicr_read_ctlr(gicr_base) & GICR_CTLR_RWP_BIT) != 0U) {
	}
342
343
}

344
345
static inline void gicr_wait_for_upstream_pending_write(uintptr_t gicr_base)
{
346
347
	while ((gicr_read_ctlr(gicr_base) & GICR_CTLR_UWP_BIT) != 0U) {
	}
348
349
350
351
352
353
}

/* Private implementation of Distributor power control hooks */
void arm_gicv3_distif_pre_save(unsigned int rdist_proc_num);
void arm_gicv3_distif_post_restore(unsigned int rdist_proc_num);

354
/*******************************************************************************
355
 * GIC Redistributor functions for accessing entire registers.
356
357
358
 * Note: The raw register values correspond to multiple interrupt IDs and
 * the number of interrupt IDs involved depends on the register accessed.
 ******************************************************************************/
359

360
361
362
363
364
365
/*
 * Accessors to read/write GIC Redistributor ICENABLER0 and ICENABLERE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_icenabler(uintptr_t base,
						unsigned int reg_num)
366
{
367
	return mmio_read_32(base + GICR_ICENABLER + (reg_num << 2));
368
369
}

370
371
static inline void gicr_write_icenabler(uintptr_t base, unsigned int reg_num,
					unsigned int val)
372
{
373
	mmio_write_32(base + GICR_ICENABLER + (reg_num << 2), val);
374
375
}

376
377
378
379
380
/*
 * Accessor to read/write GIC Redistributor ICFGR0, ICFGR1 and ICFGRE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_icfgr(uintptr_t base, unsigned int reg_num)
381
{
382
	return mmio_read_32(base + GICR_ICFGR + (reg_num << 2));
383
384
}

385
386
static inline void gicr_write_icfgr(uintptr_t base, unsigned int reg_num,
					unsigned int val)
387
{
388
	mmio_write_32(base + GICR_ICFGR + (reg_num << 2), val);
389
390
}

391
392
393
394
395
396
/*
 * Accessors to read/write GIC Redistributor IGROUPR0 and IGROUPRE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_igroupr(uintptr_t base,
						unsigned int reg_num)
397
{
398
	return mmio_read_32(base + GICR_IGROUPR + (reg_num << 2));
399
400
}

401
402
static inline void gicr_write_igroupr(uintptr_t base, unsigned int reg_num,
						unsigned int val)
403
{
404
	mmio_write_32(base + GICR_IGROUPR + (reg_num << 2), val);
405
406
}

407
408
409
410
411
412
/*
 * Accessors to read/write GIC Redistributor IGRPMODR0 and IGRPMODRE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_igrpmodr(uintptr_t base,
						unsigned int reg_num)
413
{
414
	return mmio_read_32(base + GICR_IGRPMODR + (reg_num << 2));
415
416
}

417
418
static inline void gicr_write_igrpmodr(uintptr_t base, unsigned int reg_num,
				       unsigned int val)
419
{
420
	mmio_write_32(base + GICR_IGRPMODR + (reg_num << 2), val);
421
422
}

423
424
425
426
427
428
/*
 * Accessors to read/write the GIC Redistributor IPRIORITYR(E) register
 * corresponding to its number, 4 interrupts IDs at a time.
 */
static inline unsigned int gicr_read_ipriorityr(uintptr_t base,
						unsigned int reg_num)
429
{
430
	return mmio_read_32(base + GICR_IPRIORITYR + (reg_num << 2));
431
432
}

433
434
static inline void gicr_write_ipriorityr(uintptr_t base, unsigned int reg_num,
						unsigned int val)
435
{
436
	mmio_write_32(base + GICR_IPRIORITYR + (reg_num << 2), val);
437
438
}

439
440
441
442
443
444
/*
 * Accessors to read/write GIC Redistributor ISACTIVER0 and ISACTIVERE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_isactiver(uintptr_t base,
						unsigned int reg_num)
445
{
446
	return mmio_read_32(base + GICR_ISACTIVER + (reg_num << 2));
447
448
}

449
450
static inline void gicr_write_isactiver(uintptr_t base, unsigned int reg_num,
					unsigned int val)
451
{
452
	mmio_write_32(base + GICR_ISACTIVER + (reg_num << 2), val);
453
454
}

455
456
457
458
459
460
/*
 * Accessors to read/write GIC Redistributor ISENABLER0 and ISENABLERE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_isenabler(uintptr_t base,
						unsigned int reg_num)
461
{
462
	return mmio_read_32(base + GICR_ISENABLER + (reg_num << 2));
463
464
}

465
466
static inline void gicr_write_isenabler(uintptr_t base, unsigned int reg_num,
					unsigned int val)
467
{
468
	mmio_write_32(base + GICR_ISENABLER + (reg_num << 2), val);
469
470
}

471
472
473
474
475
476
/*
 * Accessors to read/write GIC Redistributor ISPENDR0 and ISPENDRE
 * register corresponding to its number
 */
static inline unsigned int gicr_read_ispendr(uintptr_t base,
						unsigned int reg_num)
477
{
478
	return mmio_read_32(base + GICR_ISPENDR + (reg_num << 2));
479
480
}

481
482
static inline void gicr_write_ispendr(uintptr_t base, unsigned int reg_num,
						unsigned int val)
483
{
484
	mmio_write_32(base + GICR_ISPENDR + (reg_num << 2), val);
485
486
}

487
488
489
490
/*
 * Accessors to read/write GIC Redistributor NSACR register
 */
static inline unsigned int gicr_read_nsacr(uintptr_t base)
491
{
492
	return mmio_read_32(base + GICR_NSACR);
493
494
}

495
static inline void gicr_write_nsacr(uintptr_t base, unsigned int val)
496
{
497
	mmio_write_32(base + GICR_NSACR, val);
498
499
}

500
501
502
/*
 * Accessors to read/write GIC Redistributor PROPBASER register
 */
503
static inline uint64_t gicr_read_propbaser(uintptr_t base)
504
{
505
	return mmio_read_64(base + GICR_PROPBASER);
506
507
}

508
static inline void gicr_write_propbaser(uintptr_t base, uint64_t val)
509
{
510
	mmio_write_64(base + GICR_PROPBASER, val);
511
512
}

513
514
515
/*
 * Accessors to read/write GIC Redistributor PENDBASER register
 */
516
static inline uint64_t gicr_read_pendbaser(uintptr_t base)
517
{
518
	return mmio_read_64(base + GICR_PENDBASER);
519
520
}

521
static inline void gicr_write_pendbaser(uintptr_t base, uint64_t val)
522
{
523
	mmio_write_64(base + GICR_PENDBASER, val);
524
525
}

526
527
528
529
530
531
532
533
/*******************************************************************************
 * GIC ITS functions to read and write entire ITS registers.
 ******************************************************************************/
static inline uint32_t gits_read_ctlr(uintptr_t base)
{
	return mmio_read_32(base + GITS_CTLR);
}

534
static inline void gits_write_ctlr(uintptr_t base, uint32_t val)
535
536
537
538
539
540
541
542
543
544
545
{
	mmio_write_32(base + GITS_CTLR, val);
}

static inline uint64_t gits_read_cbaser(uintptr_t base)
{
	return mmio_read_64(base + GITS_CBASER);
}

static inline void gits_write_cbaser(uintptr_t base, uint64_t val)
{
546
	mmio_write_64(base + GITS_CBASER, val);
547
548
549
550
551
552
553
554
555
}

static inline uint64_t gits_read_cwriter(uintptr_t base)
{
	return mmio_read_64(base + GITS_CWRITER);
}

static inline void gits_write_cwriter(uintptr_t base, uint64_t val)
{
556
	mmio_write_64(base + GITS_CWRITER, val);
557
558
}

559
560
static inline uint64_t gits_read_baser(uintptr_t base,
					unsigned int its_table_id)
561
{
Antonio Nino Diaz's avatar
Antonio Nino Diaz committed
562
563
	assert(its_table_id < 8U);
	return mmio_read_64(base + GITS_BASER + (8U * its_table_id));
564
565
}

566
567
static inline void gits_write_baser(uintptr_t base, unsigned int its_table_id,
					uint64_t val)
568
{
Antonio Nino Diaz's avatar
Antonio Nino Diaz committed
569
570
	assert(its_table_id < 8U);
	mmio_write_64(base + GITS_BASER + (8U * its_table_id), val);
571
572
573
574
575
576
577
}

/*
 * Wait for Quiescent bit when GIC ITS is disabled
 */
static inline void gits_wait_for_quiescent_bit(uintptr_t gits_base)
{
Antonio Nino Diaz's avatar
Antonio Nino Diaz committed
578
	assert((gits_read_ctlr(gits_base) & GITS_CTLR_ENABLED_BIT) == 0U);
579
580
	while ((gits_read_ctlr(gits_base) & GITS_CTLR_QUIESCENT_BIT) == 0U) {
	}
581
582
}

583
#endif /* GICV3_PRIVATE_H */