parisc_cache_init
void parisc_cache_init(void); /* initializes cache-flushing */
parisc_cache_init();