Searched refs:trap_wbinvd (Results 1 – 1 of 1) sorted by relevance
289 static int trap_wbinvd; variable290 SYSCTL_INT(_hw_vmm, OID_AUTO, trap_wbinvd, CTLFLAG_RDTUN, &trap_wbinvd, 0,412 return (trap_wbinvd); in vcpu_trap_wbinvd()