Searched refs:tlb_flush_vtlb_page_mask_locked (Results 1 – 1 of 1) sorted by relevance
489 static void tlb_flush_vtlb_page_mask_locked(CPUState *cpu, int mmu_idx, in tlb_flush_vtlb_page_mask_locked() function507 tlb_flush_vtlb_page_mask_locked(cpu, mmu_idx, page, -1); in tlb_flush_vtlb_page_locked()717 tlb_flush_vtlb_page_mask_locked(cpu, midx, page, mask); in tlb_flush_range_locked()