Searched refs:MRS (Results 1 - 10 of 10) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
| H A D | machine.h | 29 #define MRS(reg, v) asm volatile("mrs %x0," reg : "=r"(v)) macro
37 #define SYSTEM_READ_WORD(reg, v) MRS(reg, v)
39 #define SYSTEM_READ_64(reg, v) MRS(reg, v)
|
| H A D | benchmark.h | 22 MRS(PMINTENSET, val);
|
| H A D | vcpu.h | 136 MRS(REG_TTBR0_EL1, reg);
148 MRS(REG_TTBR1_EL1, reg);
160 MRS(REG_TCR_EL1, reg);
172 MRS(REG_MAIR_EL1, reg);
184 MRS(REG_AMAIR_EL1, reg);
196 MRS(REG_CONTEXTIDR_EL1, reg);
208 MRS(REG_ACTLR_EL1, reg);
220 MRS(REG_AFSR0_EL1, reg);
232 MRS(REG_AFSR1_EL1, reg);
244 MRS(REG_ESR_EL
[all...] |
| /seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv8-a/64/armv/ |
| H A D | machine.h | 30 #define MRS(reg, v) asm volatile("mrs %0," reg : "=r"(v)) macro
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 88 MRS("cptr_el2", cptr);
97 MRS("cptr_el2", cptr);
106 MRS("cpacr_el1", cpacr);
115 MRS("cpacr_el1", cpacr);
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 51 MRS("midr_el1", processor_id);
58 MRS("sctlr_el1", scr);
70 MRS("actlr_el1", acr);
87 MRS("tpidr_el0", reg);
99 MRS("tpidrro_el0", reg);
111 MRS("tpidr_el1", reg);
158 MRS("tcr_el2", tcr_el2);
192 MRS("vttbr_el2", vttbr);
327 MRS("esr_el2", ESR);
329 MRS("esr_el
[all...] |
| H A D | machine_pl2.h | 19 MRS("tpidr_el2", reg);
|
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | fpu.c | 32 MRS("id_aa64pfr0_el1", id_aa64pfr0);
|
| /seL4-test-master/kernel/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 22 MRS("clidr_el1", CLID);
41 MRS("csselr_el1", csselr_old);
45 MRS("ccsidr_el1", size);
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 67 MRS("mdcr_el2", hdcr);
|
Completed in 49 milliseconds