Add dcache_flush() function that flushes D-Cache on sparc64.
treef28f894e7686b24e88b6fdd01a3239b3911aa9b8
-rw-r--r-- 612 HelenOS.config
-rw-r--r-- 3584 Makefile
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - kernel
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 216 version