Searched refs:wbinvd_ipi (Results 1 – 1 of 1) sorted by relevance
3417 static void wbinvd_ipi(void *garbage) in wbinvd_ipi() function3435 wbinvd_ipi, NULL, 1); in kvm_arch_vcpu_load()5915 wbinvd_ipi, NULL, 1); in kvm_emulate_wbinvd_noskip()
