Searched refs:lguest_flush_tlb_kernel (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/arch/x86/lguest/ | ||
| H A D | boot.c | 802 static void lguest_flush_tlb_kernel(void) lguest_flush_tlb_kernel() function 1464 pv_mmu_ops.flush_tlb_kernel = lguest_flush_tlb_kernel; lguest_init() |
Completed in 37 milliseconds