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

/barrelfish-master/kernel/include/arch/armv7/
H A Dcache.h21 uint32_t clidr= cp15_read_clidr(); local
37 uint32_t clidr= cp15_read_clidr(); local
/barrelfish-master/tools/fastmodels/
H A Dcache.c62 uint64_t clidr= read_clidr_el1(); local

Completed in 80 milliseconds