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