Add some AVX512 CPUID flags.
authormlarkin <mlarkin@openbsd.org>
Mon, 15 Jan 2018 06:53:02 +0000 (06:53 +0000)
committermlarkin <mlarkin@openbsd.org>
Mon, 15 Jan 2018 06:53:02 +0000 (06:53 +0000)
commit5428256ceb68b164ff2256ee230a1a100d1f2733
tree38be82a5cfa2f9a3def6ad40647537b5599fbcc4
parent287058971d95a2229bd81f2221eb576c0f53411c
Add some AVX512 CPUID flags.

discussed with sf and kettenis
sys/arch/amd64/amd64/identcpu.c
sys/arch/amd64/include/specialreg.h