Searched refs:kvm_flush_dcache_pte (Results 1 – 1 of 1) sorted by relevance
72 static void kvm_flush_dcache_pte(pte_t pte) in kvm_flush_dcache_pte() function258 kvm_flush_dcache_pte(old_pte); in unmap_stage2_ptes()379 kvm_flush_dcache_pte(*pte); in stage2_flush_ptes()