HelenOS sources

dcache_levels      41 kernel/arch/arm32/include/arch/cache.h extern unsigned dcache_levels(void);
dcache_levels      70 kernel/arch/arm32/include/arch/cpu.h 	unsigned dcache_levels;
dcache_levels     117 kernel/arch/arm32/src/cpu/cpu.c 	cpu->dcache_levels = dcache_levels();
dcache_levels     119 kernel/arch/arm32/src/cpu/cpu.c 	for (unsigned i = 0; i < cpu->dcache_levels; ++i) {
dcache_levels     292 kernel/arch/arm32/src/cpu/cpu.c 	const unsigned levels = dcache_levels();
dcache_levels     305 kernel/arch/arm32/src/cpu/cpu.c 	const unsigned levels = dcache_levels();
dcache_levels     317 kernel/arch/arm32/src/cpu/cpu.c 	for (unsigned i = 0; i < CPU->arch.dcache_levels; ++i)
dcache_levels     325 kernel/arch/arm32/src/cpu/cpu.c 	const unsigned levels =  dcache_levels();