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

/linux-4.1.27/arch/x86/lguest/
H A Dboot.c792 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