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