Searched refs:csselr_old (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 39 word_t size, csselr_old; local
41 MRS("csselr_el1", csselr_old);
47 MSR("csselr_el1", csselr_old);
|
| /seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/ |
| H A D | cache.c | 43 word_t size_unique_name, csselr_old; local
45 asm volatile("mrc p15, 2, %0, c0, c0, 0" : "=r"(csselr_old));
51 asm volatile("mcr p15, 2, %0, c0, c0, 0" : : "r"(csselr_old));
|
| /seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/ |
| H A D | cache.c | 43 word_t size_unique_name, csselr_old; local
45 asm volatile("mrc p15, 2, %0, c0, c0, 0" : "=r"(csselr_old));
51 asm volatile("mcr p15, 2, %0, c0, c0, 0" : : "r"(csselr_old));
|
Completed in 102 milliseconds