Searched refs:lguest_flush_tlb_kernel (Results 1 – 1 of 1) sorted by relevance
802 static void lguest_flush_tlb_kernel(void) in lguest_flush_tlb_kernel() function1464 pv_mmu_ops.flush_tlb_kernel = lguest_flush_tlb_kernel; in lguest_init()