HelenOS sources

clean_dcache_poc  102 boot/arch/arm32/src/main.c 	    PA2KA(kernel_dest), clean_dcache_poc);
clean_dcache_poc  105 boot/arch/arm32/src/main.c 	clean_dcache_poc(boot_pt, PTL0_ENTRIES * PTL0_ENTRY_SIZE);