HelenOS sources

dcache_clean_mva_pou   49 kernel/arch/arm32/include/arch/cache.h extern void dcache_clean_mva_pou(uintptr_t);
dcache_clean_mva_pou  129 kernel/arch/arm32/include/arch/mm/page_armv4.h 		dcache_clean_mva_pou((uintptr_t)(pt + i)); \
dcache_clean_mva_pou  156 kernel/arch/arm32/include/arch/mm/page_armv6.h 		dcache_clean_mva_pou((uintptr_t)(pt + i)); \
dcache_clean_mva_pou   58 kernel/arch/arm32/src/smc.c 		dcache_clean_mva_pou(addr);