Searched defs:clid (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/armv/armv7-a/
H A Dcache.c66 int clid = readCLID(); local
112 int clid = readCLID(); local
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/32/
H A Dcache.c66 int clid = readCLID(); local
112 int clid = readCLID(); local
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c57 int clid = readCLID(); local
95 int clid = readCLID(); local

Completed in 52 milliseconds