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.c57 int clid = readCLID(); local
58 int lou = LOUU(clid);
61 if (CTYPE(clid, l) > ARMCacheI) {
95 int clid = readCLID(); local
96 int loc = LOC(clid);
99 if (CTYPE(clid, l) > ARMCacheI) {
/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c66 int clid = readCLID(); local
67 int lou = LOUU(clid);
71 if (CTYPE(clid, l) > ARMCacheI) {
112 int clid = readCLID(); local
113 int loc = LOC(clid);
117 if (CTYPE(clid, l) > ARMCacheI) {
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c66 int clid = readCLID(); local
67 int lou = LOUU(clid);
71 if (CTYPE(clid, l) > ARMCacheI) {
112 int clid = readCLID(); local
113 int loc = LOC(clid);
117 if (CTYPE(clid, l) > ARMCacheI) {

Completed in 84 milliseconds