Searched refs:SYSTEM_READ_WORD (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/src/arch/arm/machine/ |
| A D | gic_v3.c | 93 SYSTEM_READ_WORD(CNTFRQ, gpt_cnt_tval); in gicv3_do_wait_for_rwp()
97 SYSTEM_READ_WORD(CNTFRQ, gpt_cnt_tval); in gicv3_do_wait_for_rwp()
128 SYSTEM_READ_WORD(ICC_SRE_EL1, val); in gicv3_enable_sre()
279 SYSTEM_READ_WORD(ICC_CTLR_EL1, icc_ctlr); in cpu_iface_init()
336 SYSTEM_READ_WORD(MPIDR, mpidr); in cpu_initLocalIRQController()
|
| /seL4-master/include/arch/arm/armv/armv8-a/64/armv/ |
| A D | machine.h | 37 #define SYSTEM_READ_WORD(reg, v) MRS(reg, v) macro
|
| /seL4-master/include/arch/arm/arch/ |
| A D | benchmark.h | 30 SYSTEM_READ_WORD(CCNT, ccnt); in timestamp()
|
| /seL4-master/include/arch/arm/armv/armv7-a/armv/ |
| A D | machine.h | 48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) macro
|
| /seL4-master/include/arch/arm/armv/armv8-a/32/armv/ |
| A D | machine.h | 48 #define SYSTEM_READ_WORD(reg, v) MRC(reg, v) macro
|
| /seL4-master/src/drivers/timer/ |
| A D | generic_timer.c | 14 SYSTEM_READ_WORD(CNTFRQ, gpt_cntfrq); in initGenericTimer()
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | gic_v3.h | 295 SYSTEM_READ_WORD(ICC_IAR1_EL1, val); in getActiveIRQ()
319 SYSTEM_READ_WORD(ICC_HPPIR1_EL1, val); in isIRQPending()
|
Completed in 15 milliseconds