Searched refs:kvm_flush_dcache_pte (Results 1 – 1 of 1) sorted by relevance
86 static void kvm_flush_dcache_pte(pte_t pte) in kvm_flush_dcache_pte() function222 kvm_flush_dcache_pte(old_pte); in unmap_ptes()314 kvm_flush_dcache_pte(*pte); in stage2_flush_ptes()