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