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

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c2685 static void wbinvd_ipi(void *garbage) wbinvd_ipi() function
2703 wbinvd_ipi, NULL, 1); kvm_arch_vcpu_load()
4673 wbinvd_ipi, NULL, 1); kvm_emulate_wbinvd_noskip()

Completed in 99 milliseconds