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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dcache.c78 uint64_t ccsidr= read_ccsidr_el1(); local
79 int sets= FIELD(13, 15, ccsidr) + 1,
80 assoc= FIELD( 3, 10, ccsidr) + 1,
81 linebits= FIELD( 0, 3, ccsidr) + 4;
/barrelfish-2018-10-04/kernel/include/arch/armv7/
H A Dcache.h71 uint32_t ccsidr= cache_get_ccsidr(level, 0);
72 size_t L= (ccsidr & MASK(3)) + 2; /* log2(LINELEN) */
74 size_t x= (ccsidr >> 3) & MASK(10); /* WAYS - 1 */
78 size_t y= (ccsidr >> 13) & MASK(15); /* SETS - 1 */

Completed in 36 milliseconds