Searched refs:tlb_flush_vtlb_page_locked (Results 1 – 1 of 1) sorted by relevance
504 static inline void tlb_flush_vtlb_page_locked(CPUState *cpu, int mmu_idx, in tlb_flush_vtlb_page_locked() function525 tlb_flush_vtlb_page_locked(cpu, midx, page); in tlb_flush_page_locked()1138 tlb_flush_vtlb_page_locked(cpu, mmu_idx, addr_page); in tlb_set_page_full()