Searched refs:lguest_flush_tlb_user (Results 1 - 1 of 1) sorted by relevance
/linux-4.1.27/arch/x86/lguest/ | ||
H A D | boot.c | 792 static void lguest_flush_tlb_user(void) lguest_flush_tlb_user() function 1462 pv_mmu_ops.flush_tlb_user = lguest_flush_tlb_user; lguest_init() |
Completed in 42 milliseconds