FLAG( 7, 0, ECX, 2, 1, UMIP, NO, 0, FALSE) \
FLAG( 7, 0, ECX, 3, 1, PKU, YES, 13, TRUE) \
FLAG( 7, 0, ECX, 4, 1, OSPKE, ANY, 13, TRUE) \
+FLAG( 7, 0, ECX, 6, 1, AVX512VBMI2, NO, 0, TRUE) \
+FLAG( 7, 0, ECX, 8, 1, GFNI, NO, 0, TRUE) \
+FLAG( 7, 0, ECX, 9, 1, VAES, NO, 0, TRUE) \
+FLAG( 7, 0, ECX, 10, 1, VPCLMULQDQ, NO, 0, TRUE) \
+FLAG( 7, 0, ECX, 11, 1, AVX512VNNI, NO, 0, TRUE) \
+FLAG( 7, 0, ECX, 12, 1, AVX512BITALG, NO, 0, TRUE) \
FLAG( 7, 0, ECX, 14, 1, AVX512VPOPCNTDQ, NO, 0, TRUE) \
FLAG( 7, 0, ECX, 16, 1, VA57, NO, 0, TRUE) \
FIELD( 7, 0, ECX, 17, 5, MAWA, NO, 0, TRUE) \