Home
last modified time | relevance | path

Searched refs:clid (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/armv/armv7-a/
A Dcache.c66 int clid = readCLID(); in clean_D_PoU() local
67 int lou = LOUU(clid); in clean_D_PoU()
71 if (CTYPE(clid, l) > ARMCacheI) { in clean_D_PoU()
112 int clid = readCLID(); in cleanInvalidate_D_PoC() local
113 int loc = LOC(clid); in cleanInvalidate_D_PoC()
117 if (CTYPE(clid, l) > ARMCacheI) { in cleanInvalidate_D_PoC()
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c57 int clid = readCLID(); in clean_D_PoU() local
58 int lou = LOUU(clid); in clean_D_PoU()
61 if (CTYPE(clid, l) > ARMCacheI) { in clean_D_PoU()
95 int clid = readCLID(); in cleanInvalidate_D_PoC() local
96 int loc = LOC(clid); in cleanInvalidate_D_PoC()
99 if (CTYPE(clid, l) > ARMCacheI) { in cleanInvalidate_D_PoC()
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c66 int clid = readCLID(); in clean_D_PoU() local
67 int lou = LOUU(clid); in clean_D_PoU()
71 if (CTYPE(clid, l) > ARMCacheI) { in clean_D_PoU()
112 int clid = readCLID(); in cleanInvalidate_D_PoC() local
113 int loc = LOC(clid); in cleanInvalidate_D_PoC()
117 if (CTYPE(clid, l) > ARMCacheI) { in cleanInvalidate_D_PoC()

Completed in 3 milliseconds