Searched refs:SYSTEM_WRITE_WORD (Results 1 - 10 of 10) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/benchmark/ |
| H A D | benchmark.c | 27 SYSTEM_WRITE_WORD(PMCR, val);
31 SYSTEM_WRITE_WORD(PMCNTENSET, BIT(CCNT_INDEX));
|
| /seL4-test-master/kernel/include/drivers/timer/ |
| H A D | arm_generic.h | 40 SYSTEM_WRITE_WORD(CNT_TVAL, TIMER_RELOAD);
41 SYSTEM_WRITE_WORD(CNT_CTL, BIT(0));
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/ |
| H A D | machine.h | 53 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | machine.h | 36 #define SYSTEM_WRITE_WORD(reg, v) MSR(reg, v) macro
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | machine.h | 47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | machine.h | 47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | machine.h | 47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v3.c | 131 SYSTEM_WRITE_WORD(ICC_SRE_EL1, val);
273 SYSTEM_WRITE_WORD(ICC_BPR1_EL1, 0);
276 SYSTEM_WRITE_WORD(ICC_PMR_EL1, DEFAULT_PMR_VALUE);
281 SYSTEM_WRITE_WORD(ICC_CTLR_EL1, icc_ctlr);
284 SYSTEM_WRITE_WORD(ICC_IGRPEN1_EL1, 1);
|
| /seL4-test-master/kernel/src/drivers/timer/ |
| H A D | generic_timer.c | 25 SYSTEM_WRITE_WORD(CNT_CTL, BIT(0));
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | gic_v3.h | 286 SYSTEM_WRITE_WORD(ICC_EOIR1_EL1, active_irq[CURRENT_CPU_INDEX()]);
|
Completed in 46 milliseconds