Searched refs:ecache_page_retire (Results 1 – 1 of 1) sorted by relevance
130 static void ecache_page_retire(void *);3593 softcall(ecache_page_retire, (void *)paddr); in scrub_ecache_line()4068 ecache_page_retire(void *arg) in ecache_page_retire() function