print sefflags_edx cpuid bits on i386 as well
authorjsg <jsg@openbsd.org>
Tue, 21 Aug 2018 06:03:34 +0000 (06:03 +0000)
committerjsg <jsg@openbsd.org>
Tue, 21 Aug 2018 06:03:34 +0000 (06:03 +0000)
commitaee59ff9dbd23fdabec42359a377e4a49dabed86
tree845202046a3e14e93736040c21360782b38d3647
parente5837833f3338f795a44e9d5703b59b022198a39
print sefflags_edx cpuid bits on i386 as well
sys/arch/i386/i386/machdep.c
sys/arch/i386/include/cpu.h