struct avx512_vbmi2Marker

Defined at line 514 of file ../../zircon/kernel/lib/arch/include/lib/arch/x86/cpuid.h