svn commit: r292528 - head/sys/x86/include

[John Baldwin]

On Monday, December 21, 2015 01:41:35 PM Conrad Meyer wrote:
> No, I didn't forget.  AVX512VBMI is a flag in ECX
> ("cpu_stdext_feature2") rather than EBX ("cpu_stdext_feature"), and
> there aren't any macros for any of the ECX flags yet (PREFETCHWT1,
> AVX512VBMI, PKU, and OSPKE).

Might as well start on them?  I would be tempted to just use CPU_STDEXT_foo for those
as well.  The standard ext leaf allows for multiple "banks" of feature registers, so
I'm not sure CPU_STDEXT2_*, etc. will scale all that well.

-- 
John Baldwin