Searched refs:CLID (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c21 word_t CLID; local
22 MRS("clidr_el1", CLID);
23 return CLID;
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c22 word_t CLID; local
23 asm volatile("mrc p15, 1, %0, c0, c0, 1" : "=r"(CLID));
24 return CLID;
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c22 word_t CLID; local
23 asm volatile("mrc p15, 1, %0, c0, c0, 1" : "=r"(CLID));
24 return CLID;

Completed in 33 milliseconds