Searched refs:clean_dcache_guest_page (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.15/arch/arm64/kvm/ | ||
| D | mmu.c | 130 static void clean_dcache_guest_page(void *va, size_t size) in clean_dcache_guest_page() function |
Searched refs:clean_dcache_guest_page (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.15/arch/arm64/kvm/ | ||
| D | mmu.c | 130 static void clean_dcache_guest_page(void *va, size_t size) in clean_dcache_guest_page() function |