A bit mask used to request support of the Intel AVX512F instruction set.
The mask is mapped to the following Intel x86 and x86-64 CPUID flag: CPUID.(EAX=07H, ECX=0):EBX.AVX512F[bit 16].