Searched refs:lguest_flush_tlb_single (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c781 static void lguest_flush_tlb_single(unsigned long addr) lguest_flush_tlb_single() function
1463 pv_mmu_ops.flush_tlb_single = lguest_flush_tlb_single; lguest_init()

Completed in 44 milliseconds