Searched refs:trap_wbinvd (Results 1 – 1 of 1) sorted by relevance
306 int trap_wbinvd = 1; variable437 return (trap_wbinvd); in vcpu_trap_wbinvd()