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