Searched refs:lguest_wbinvd (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/arch/x86/lguest/ | ||
| H A D | boot.c | 1105 static void lguest_wbinvd(void) lguest_wbinvd() function 1456 pv_cpu_ops.wbinvd = lguest_wbinvd; lguest_init() |
Completed in 41 milliseconds