-#define x86_THREAD_STATE32 1
-#define x86_FLOAT_STATE32 2
-#define x86_EXCEPTION_STATE32 3
-#define x86_THREAD_STATE64 4
-#define x86_FLOAT_STATE64 5
-#define x86_EXCEPTION_STATE64 6
-#define x86_THREAD_STATE 7
-#define x86_FLOAT_STATE 8
-#define x86_EXCEPTION_STATE 9
-#define x86_DEBUG_STATE32 10
-#define x86_DEBUG_STATE64 11
-#define x86_DEBUG_STATE 12
-#define THREAD_STATE_NONE 13
-/* 15 and 16 are used for the internal x86_SAVED_STATE flavours */
-#define x86_AVX_STATE32 16
-#define x86_AVX_STATE64 17
-
+#define x86_THREAD_STATE32 1
+#define x86_FLOAT_STATE32 2
+#define x86_EXCEPTION_STATE32 3
+#define x86_THREAD_STATE64 4
+#define x86_FLOAT_STATE64 5
+#define x86_EXCEPTION_STATE64 6
+#define x86_THREAD_STATE 7
+#define x86_FLOAT_STATE 8
+#define x86_EXCEPTION_STATE 9
+#define x86_DEBUG_STATE32 10
+#define x86_DEBUG_STATE64 11
+#define x86_DEBUG_STATE 12
+#define THREAD_STATE_NONE 13
+/* 14 and 15 are used for the internal x86_SAVED_STATE flavours */
+/* Arrange for flavors to take sequential values, 32-bit, 64-bit, non-specific */
+#define x86_AVX_STATE32 16
+#define x86_AVX_STATE64 (x86_AVX_STATE32 + 1)
+#define x86_AVX_STATE (x86_AVX_STATE32 + 2)
+#if !defined(RC_HIDE_XNU_J137)
+#define x86_AVX512_STATE32 19
+#define x86_AVX512_STATE64 (x86_AVX512_STATE32 + 1)
+#define x86_AVX512_STATE (x86_AVX512_STATE32 + 2)
+#endif /* not RC_HIDE_XNU_J137 */
+#define x86_THREAD_FULL_STATE64 23