Searched defs:clean_dcache_guest_page (Results 1 – 2 of 2) sorted by relevance
220 static void clean_dcache_guest_page(void *va, size_t size) in clean_dcache_guest_page() function
273 static void clean_dcache_guest_page(void *va, size_t size) in clean_dcache_guest_page() function