1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
|
/*
* Copyright : (C) 2022 Phytium Information Technology, Inc.
* All Rights Reserved.
*
* This program is OPEN SOURCE software: you can redistribute it and/or modify it
* under the terms of the Phytium Public License as published by the Phytium Technology Co.,Ltd,
* either version 1.0 of the License, or (at your option) any later version.
*
* 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 Phytium Public License for more details.
*
*
* FilePath: fgic_cpu_interface.h
* Date: 2022-03-28 14:55:27
* LastEditTime: 2022-03-28 14:55:27
* Description: This file is for gic register definition and operation.
*
* Modify History:
* Ver Who Date Changes
* ----- ------ -------- --------------------------------------
* 1.0 huanghe 2022/4/16 init commit
*/
#ifndef FGIC_CPU_INTERFACE_H
#define FGIC_CPU_INTERFACE_H
#include "ftypes.h"
#ifdef __cplusplus
extern "C"
{
#endif
#define FGIC_ICC_SGI1R_INTID_MASK 0xFULL /* The INTID of the SGI. */
#define GICC_SGIR_IRM_BITS SGI_ROUTING_MODE
typedef enum
{
GICC_SRE_SRE = (1 << 0),
GICC_SRE_DFB = (1 << 1),
GICC_SRE_DIB = (1 << 2),
GICC_SRE_ENABLE = (1 << 3)
} GICC_SRE_BITS;
typedef enum
{
GICC_CTLR_CBPR = (1 << 0),
GICC_CTLR_CBPR_EL1S = (1 << 0),
GICC_CTLR_EOIMODE = (1 << 1),
GICC_CTLR_CBPR_EL1NS = (1 << 1),
GICC_CTLR_EOIMODE_EL3 = (1 << 2),
GICC_CTLR_EOIMODE_EL1S = (1 << 3),
GICC_CTLR_EOIMODE_EL1NS = (1 << 4), /* GICC_EOIR and GICC_AEOIR provide priority drop functionality only. GICC_DIR provides interrupt deactivation functionality. */
GICC_CTLR_RM = (1 << 5),
GICC_CTLR_PMHE = (1 << 6)
} GICC_CTLR_BITS;
#ifdef __aarch64__
void FGicSetICC_SRE_EL3(GICC_SRE_BITS bits);
void FGicSetICC_SRE_EL2(GICC_SRE_BITS bits);
void FGicSetICC_SRE_EL1(GICC_SRE_BITS bits);
u32 FGicGetICC_SRE_EL3(void);
u32 FGicGetICC_SRE_EL2(void);
u32 FGicGetICC_SRE_EL1(void);
void FGicEnableGroup0(void);
void FGicDisableGroup0(void);
void FGicEnableGroup1_EL1(void);
void FGicEnableGroup1_EL3(void);
void FGicDisableGroup1_EL1(void);
void FGicDisableGroup1_EL3(void);
void FGicSetICC_CTLR_EL3(GICC_CTLR_BITS reg_bits);
void FGicSetICC_CTLR_EL1(GICC_CTLR_BITS reg_bits);
u32 FGicGetICC_CTLR_EL3(void);
u32 FGicGetICC_CTLR_EL1(void);
u32 FGicWriteICC_APR0(void);
s32 FGicGetICC_APR1(void);
void FGicSetICC_EOIR0(u32 intnum);
void FGicSetICC_EOIR1(u32 intnum);
void FGicSetICC_DIR(u32 intnum);
void FGicSetICC_PMR(u32 priority_mask);
u32 FGicGetICC_PMR(void);
u32 FGicGetICC_BPR1(void);
void FGicSetICC_BPR1(u32 binary_point);
u32 FGicGetICC_BPR0(void);
void FGicSetICC_BPR0(u32 binary_point);
u32 FGicGetICC_HPPIR1(void);
void FGicSetICC_HPPIR1(u32 binary_point);
u32 FGicGetICC_HPPIR0(void);
void FGicSetICC_HPPIR0(u32 binary_point);
u32 FGicGetICC_RPR(void);
/* SGI interface */
void FGicSetICC_SGI0R(u32 intnum, u32 target_list, GICC_SGIR_IRM_BITS mode, u64 affinity_list);
void FGicSetICC_SGI1R(u32 intnum, u32 target_list, GICC_SGIR_IRM_BITS mode, u64 affinity_list);
void FGicSetICC_ASGI1R(u32 intnum, u32 target_list, GICC_SGIR_IRM_BITS mode, u64 affinity_list);
#else /* aarch32 */
/* For AArch32 state, accesses to GIC registers that are visible in the System register */
#define FGIC_SYS_READ32(CR, Rt) __asm__ volatile("MRC " CR \
: "=r"(Rt) \
: \
: "memory")
#define FGIC_SYS_WRITE32(CR, Rt) __asm__ volatile("MCR " CR \
: \
: "r"(Rt) \
: "memory")
#define FGIC_SYS_WRITE64(cp, op1, Rt, CRm) __asm__ volatile("MCRR p" #cp ", " #op1 ", %Q0, %R0, c" #CRm \
: \
: "r"(Rt) \
: "memory")
#define ICC_IAR0 "p15, 0, %0, c12, c8, 0"
#define ICC_IAR1 "p15, 0, %0, c12, c12, 0"
/* writes to this register to inform the CPU interface
that it has completed the processing */
#define ICC_EOIR0 "p15, 0, %0, c12, c8, 1"
#define ICC_EOIR1 "p15, 0, %0, c12, c12, 1"
/* GET the INTID of highest priority pending interrupt */
#define ICC_HPPIR0 "p15, 0, %0, c12, c8, 2"
#define ICC_HPPIR1 "p15, 0, %0, c12, c12, 2"
#define ICC_BPR0 "p15, 0, %0, c12, c8, 3"
#define ICC_BPR1 "p15, 0, %0, c12, c12, 3"
#define ICC_DIR "p15, 0, %0, c12, c11, 1"
#define ICC_PMR "p15, 0, %0, c4, c6, 0"
#define ICC_RPR "p15, 0, %0, c12, c11, 3"
#define ICC_CTLR "p15, 0, %0, c12, c12, 4"
#define ICC_MCTLR "p15, 6, %0, c12, c12, 4"
#define ICC_SRE "p15, 0, %0, c12, c12, 5"
#define ICC_HSRE "p15, 4, %0, c12, c9, 5"
#define ICC_MSRE "p15, 6, %0, c12, c12, 5"
#define ICC_IGRPEN0 "p15, 0, %0, c12, c12, 6"
#define ICC_IGRPEN1 "p15, 0, %0, c12, c12, 7"
#define ICC_MGRPEN1 "p15, 6, %0, c12, c12, 7"
#define FGicSetICC_SRE_EL1 FGicSetICC_SRE
#define FGicSetICC_SRE_EL2 FGicSetICC_SRE
#define FGicSetICC_SRE_EL3 FGicSetICC_SRE
/**
* @name:
* @msg: void FGicSetICC_SRE(GICC_SRE_BITS bits) --- Interrupt Controller System Register Enable
* @return {*}
*/
static inline void FGicSetICC_SRE(GICC_SRE_BITS bits)
{
FGIC_SYS_WRITE32(ICC_SRE, (u32)bits);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#define FGicGetICC_SRE_EL3 FGicGetICC_SRE
#define FGicGetICC_SRE_EL2 FGicGetICC_SRE
#define FGicGetICC_SRE_EL1 FGicGetICC_SRE
/**
* @name:
* @msg: u32 FGicGetICC_SRE(void) -- Interrupt Controller System Register Enable
* @return {*}
*/
static inline u32 FGicGetICC_SRE(void)
{
u32 value;
FGIC_SYS_READ32(ICC_SRE, value);
return value;
}
/**
* @name:
* @msg: void FGicEnableGroup0(void)
* @return {*}
*/
static inline void FGicEnableGroup0(void)
{
u32 value = 1;
FGIC_SYS_WRITE32(ICC_IGRPEN0, value);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: void FGicDisableGroup0(void)
* @return {*}
*/
static inline void FGicDisableGroup0(void)
{
u32 value = 0;
FGIC_SYS_WRITE32(ICC_IGRPEN0, value);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#define FGicEnableGroup1_EL3 FGicEnableGroup1
#define FGicEnableGroup1_EL1 FGicEnableGroup1
/**
* @name:
* @msg:
* @return {*}
*/
static inline void FGicEnableGroup1(void)
{
u32 value = 1;
FGIC_SYS_WRITE32(ICC_IGRPEN1, value);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#define FGicDisableGroup1_EL3 FGicDisableGroup1
#define FGicDisableGroup1_EL1 FGicDisableGroup1
/**
* @name:
* @msg: void FGicDisableGroup1(void)
* @return {*}
*/
static inline void FGicDisableGroup1(void)
{
u32 value = 0;
FGIC_SYS_WRITE32(ICC_IGRPEN1, value);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#define FGicSetICC_CTLR_EL3 FGicSetICC_CTLR
#define FGicSetICC_CTLR_EL1 FGicSetICC_CTLR
/**
* @name:
* @msg: void FGicSetICC_CTLR(GICC_CTLR_BITS reg_bits)
* @return {*}
*/
static inline void FGicSetICC_CTLR(GICC_CTLR_BITS bits)
{
FGIC_SYS_WRITE32(ICC_CTLR, bits);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#define FGicGetICC_CTLR_EL3 FGicGetICC_CTLR
#define FGicGetICC_CTLR_EL1 FGicGetICC_CTLR
/**
* @name:
* @msg: static inline u32 FGicGetICC_CTLR(void) -- Controls aspects of the behavior of the GIC CPU interface and provides information about the features implemented.
* @return {*}
*/
static inline u32 FGicGetICC_CTLR(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_CTLR, reg);
return reg;
}
/**
* @name:
* @msg: static inline u32 FGicWriteICC_APR0(void) -- The PE reads this register to obtain the INTID of the signaled Group 0 interrupt.
* @return {*}
*/
static inline u32 FGicWriteICC_APR0(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_IAR0, reg);
return reg;
}
/**
* @name:
* @msg: static inline s32 FGicGetICC_APR1(void) -- The PE reads this register to obtain the INTID of the signaled Group 1 interrupt.
* @return {*}
*/
static inline s32 FGicGetICC_APR1(void)
{
s32 reg;
FGIC_SYS_READ32(ICC_IAR1, reg);
return reg;
}
/**
* @name:
* @msg: static inline void FGicSetICC_EOIR0(u32 intnum) -- /* A PE writes to this register to inform the CPU interface that it has completed the processing of the specified Group 0 interrupt
* @return {*}
* @param {u32} intnum
*/
static inline void FGicSetICC_EOIR0(u32 intnum)
{
FGIC_SYS_WRITE32(ICC_EOIR0, intnum);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline void FGicSetICC_EOIR1(u32 intnum) -- /* A PE writes to this register to inform the CPU interface that it has completed the processing of the specified Group 1 interrupt
* @return {*}
*/
static inline void FGicSetICC_EOIR1(u32 intnum)
{
FGIC_SYS_WRITE32(ICC_EOIR1, intnum);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline void FGicSetICC_DIR(u32 intnum) -- When interrupt priority drop is separated from interrupt deactivation, a write to this register deactivates the specified interrupt.
* @return {*}
*/
static inline void FGicSetICC_DIR(u32 intnum)
{
FGIC_SYS_WRITE32(ICC_DIR, intnum);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline void FGicSetICC_PMR(u32 priority_mask) -- Provides an interrupt priority filter.
* @return {*}
*/
/**
* @name:
* @msg:
* @param {u32} priority_mask is level for the CPU interface. If the priority of an interrupt is higher than the value
* indicated by this field, the interface signals the interrupt to the PE.
*/
static inline void FGicSetICC_PMR(u32 priority_mask)
{
FGIC_SYS_WRITE32(ICC_PMR, priority_mask);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_PMR(void)
* @return {*}
*/
static inline u32 FGicGetICC_PMR(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_PMR, reg);
return reg;
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_BPR1(void) --- Defines the point at which the priority value fields split into two parts, the group priority field and the subpriority field. The group priority field determines Group 1 interrupt preemption.
* @return {*}
*/
static inline u32 FGicGetICC_BPR1(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_BPR1, reg);
return reg;
}
/**
* @name:
* @msg: static inline void FGicSetICC_BPR1(u32 binary_point)
* @return {*}
*/
static inline void FGicSetICC_BPR1(u32 binary_point)
{
FGIC_SYS_WRITE32(ICC_BPR1, binary_point);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_BPR0(void) --- Defines the point at which the priority value fields split into two parts, the group priority field and the subpriority field. The group priority field determines Group 0 interrupt preemption.
* @return {*}
*/
static inline u32 FGicGetICC_BPR0(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_BPR0, reg);
return reg;
}
/**
* @name:
* @msg: static inline void FGicSetICC_BPR0(u32 binary_point)
* @return {*}
*/
static inline void FGicSetICC_BPR0(u32 binary_point)
{
FGIC_SYS_WRITE32(ICC_BPR0, binary_point);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_HPPIR1(void) --- Indicates the highest priority pending Group 1 interrupt on the CPU interface.
* @return {*}
*/
static inline u32 FGicGetICC_HPPIR1(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_HPPIR1, reg);
return reg;
}
/**
* @name:
* @msg: static inline void FGicSetICC_HPPIR1(u32 binary_point)
* @return {*}
*/
static inline void FGicSetICC_HPPIR1(u32 binary_point)
{
FGIC_SYS_WRITE32(ICC_HPPIR1, binary_point);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_HPPIR0(void) --- Indicates the highest priority pending Group 0 interrupt on the CPU interface.
* @return {*}
*/
static inline u32 FGicGetICC_HPPIR0(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_HPPIR0, reg);
return reg;
}
/**
* @name:
* @msg: static inline void FGicSetICC_HPPIR0(u32 binary_point)
* @return {*}
*/
static inline void FGicSetICC_HPPIR0(u32 binary_point)
{
FGIC_SYS_WRITE32(ICC_HPPIR0, binary_point);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline u32 FGicGetICC_RPR(void) --- Indicates the Running priority of the CPU interface.
* @return {*}
*/
static inline u32 FGicGetICC_RPR(void)
{
u32 reg;
FGIC_SYS_READ32(ICC_RPR, reg);
return reg;
}
/* SGI interface */
/**
* @name:
* @msg: static inline void FGicSetICC_SGI0R(u32 intnum,u32 target_list,GICC_SGIR_IRM_BITS mode,u64 affinity_list) --- Generates Secure Group 0 SGIs
* @return {*}
*/
/**
* @name:
* @msg:
* @return {*}
* @param {u32} intnum_bit
* @param {u32} target_list
* @param {GICC_SGIR_IRM_BITS} irm_bit
* @param {u64} affinity_list
*/
static inline void FGicSetICC_SGI0R(u32 intnum_bit, u32 target_list, GICC_SGIR_IRM_BITS irm_bit, u64 affinity_list)
{
u64 sgi_val;
sgi_val = intnum_bit; /* The INTID of the SGI. */
sgi_val |= affinity_list ; /* Aff3.Aff2.Aff1 */
sgi_val |= irm_bit ; /* Interrupt Routing Mode. */
sgi_val |= target_list; /* Target List. The set of PEs for which SGI interrupts will be generated. */
__asm__ volatile("dsb 0xF" ::
: "memory");
FGIC_SYS_WRITE64(15, 2, sgi_val, 12);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline void FGicSetICC_SGI1R(u32 intnum,u32 target_list,GICC_SGIR_IRM_BITS mode,u64 affinity_list)
* @return {*}
*/
static inline void FGicSetICC_SGI1R(u32 intnum_bit, u32 target_list, GICC_SGIR_IRM_BITS irm_bit, u64 affinity_list)
{
u64 sgi_val;
sgi_val = intnum_bit; /* The INTID of the SGI. */
sgi_val |= affinity_list ; /* Aff3.Aff2.Aff1 */
sgi_val |= irm_bit ; /* Interrupt Routing Mode. */
sgi_val |= target_list; /* Target List. The set of PEs for which SGI interrupts will be generated. */
__asm__ volatile("dsb 0xF" ::
: "memory");
FGIC_SYS_WRITE64(15, 0, sgi_val, 12);
__asm__ volatile("isb 0xF" ::
: "memory");
}
/**
* @name:
* @msg: static inline void FGicSetICC_ASGI1R(u32 intnum,u32 target_list,GICC_SGIR_IRM_BITS mode,u64 affinity_list)
* @return {*}
*/
static inline void FGicSetICC_ASGI1R(u32 intnum_bit, u32 target_list, GICC_SGIR_IRM_BITS irm_bit, u64 affinity_list)
{
u64 sgi_val;
sgi_val = intnum_bit; /* The INTID of the SGI. */
sgi_val |= affinity_list ; /* Aff3.Aff2.Aff1 */
sgi_val |= irm_bit ; /* Interrupt Routing Mode. */
sgi_val |= target_list; /* Target List. The set of PEs for which SGI interrupts will be generated. */
__asm__ volatile("dsb 0xF" ::
: "memory");
FGIC_SYS_WRITE64(15, 1, sgi_val, 12);
__asm__ volatile("isb 0xF" ::
: "memory");
}
#endif
#ifdef __cplusplus
}
#endif
#endif
|