Searched refs:lguest_flush_tlb_single (Results 1 – 1 of 1) sorted by relevance
781 static void lguest_flush_tlb_single(unsigned long addr) in lguest_flush_tlb_single() function1463 pv_mmu_ops.flush_tlb_single = lguest_flush_tlb_single; in lguest_init()