Searched refs:clean_dcache_guest_page (Results 1 – 1 of 1) sorted by relevance
1595 static void clean_dcache_guest_page(kvm_pfn_t pfn, unsigned long size) in clean_dcache_guest_page() function1801 clean_dcache_guest_page(pfn, vma_pagesize); in user_mem_abort()2110 clean_dcache_guest_page(pfn, PAGE_SIZE); in kvm_set_spte_hva()