Searched refs:clidr (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/fastmodels/
H A Dcache.c62 uint64_t clidr= read_clidr_el1(); local
63 int loc= FIELD(24, 26, clidr);
70 int ctype= CTYPE(level, clidr);
/barrelfish-2018-10-04/kernel/include/arch/armv7/
H A Dcache.h21 uint32_t clidr= cp15_read_clidr(); local
22 return (clidr >> 27) & MASK(3);
37 uint32_t clidr= cp15_read_clidr(); local
40 return (clidr >> (3 * (level-1))) & MASK(3);

Completed in 80 milliseconds