common: Split context-parameter machinery into context.h

Move the MLD_CONTEXT_PARAMETERS_n macros and the associated configuration
check out of common.h into a new, level-generic header context.h, included
by common.h at the point the material previously sat. Pure refactor, no
behavioural change; it gives the context-parameter plumbing a dedicated home
ahead of extending it with signing hooks.

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

integration/liboqs/ML-DSA-44_META.yml

@@ -32,12 +32,12 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_C_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c
-    mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
-    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
-    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
-    mldsa/src/zetas.inc
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h
+    mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c
+    mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h
+    mldsa/src/reduce.h mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h
+    mldsa/src/sys.h mldsa/src/zetas.inc
 - name: x86_64
   version: FIPS204
   folder_name: .
@@ -49,13 +49,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/x86_64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/x86_64
   supported_platforms:
   - architecture: x86_64
     operating_systems:
@@ -76,13 +76,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/aarch64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/aarch64
   supported_platforms:
   - architecture: arm_8
     operating_systems:

integration/liboqs/ML-DSA-65_META.yml

@@ -32,12 +32,12 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_C_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c
-    mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
-    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
-    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
-    mldsa/src/zetas.inc
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h
+    mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c
+    mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h
+    mldsa/src/reduce.h mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h
+    mldsa/src/sys.h mldsa/src/zetas.inc
 - name: x86_64
   version: FIPS204
   folder_name: .
@@ -49,13 +49,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/x86_64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/x86_64
   supported_platforms:
   - architecture: x86_64
     operating_systems:
@@ -76,13 +76,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/aarch64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/aarch64
   supported_platforms:
   - architecture: arm_8
     operating_systems:

integration/liboqs/ML-DSA-87_META.yml

@@ -32,12 +32,12 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_C_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_c.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c
-    mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
-    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
-    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
-    mldsa/src/zetas.inc
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h
+    mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c
+    mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h
+    mldsa/src/reduce.h mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h
+    mldsa/src/sys.h mldsa/src/zetas.inc
 - name: x86_64
   version: FIPS204
   folder_name: .
@@ -49,13 +49,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_x86_64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/x86_64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/x86_64
   supported_platforms:
   - architecture: x86_64
     operating_systems:
@@ -76,13 +76,13 @@ implementations:
   signature_verify_extmu: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_verify_extmu
   api-with-context-string: true
   sources: integration/liboqs/config_aarch64.h integration/liboqs/fips202_glue.h integration/liboqs/fips202x4_glue.h
-    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/ct.c mldsa/src/ct.h mldsa/src/debug.c
-    mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h mldsa/src/packing.c
-    mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h mldsa/src/poly_kl.c
-    mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h mldsa/src/polyvec_lazy.c
-    mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h mldsa/src/rounding.h
-    mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h mldsa/src/zetas.inc
-    mldsa/src/native/aarch64
+    mldsa/src/cbmc.h mldsa/src/common.h mldsa/src/context.h mldsa/src/ct.c mldsa/src/ct.h
+    mldsa/src/debug.c mldsa/src/debug.h mldsa/src/native/api.h mldsa/src/native/meta.h
+    mldsa/src/packing.c mldsa/src/packing.h mldsa/src/params.h mldsa/src/poly.c mldsa/src/poly.h
+    mldsa/src/poly_kl.c mldsa/src/poly_kl.h mldsa/src/polyvec.c mldsa/src/polyvec.h
+    mldsa/src/polyvec_lazy.c mldsa/src/polyvec_lazy.h mldsa/src/randombytes.h mldsa/src/reduce.h
+    mldsa/src/rounding.h mldsa/src/sign.c mldsa/src/sign.h mldsa/src/symmetric.h mldsa/src/sys.h
+    mldsa/src/zetas.inc mldsa/src/native/aarch64
   supported_platforms:
   - architecture: arm_8
     operating_systems:

mldsa/mldsa_native.c

@@ -227,16 +227,6 @@
 #undef MLD_COMMON_H
 #undef MLD_CONCAT
 #undef MLD_CONCAT_
-#undef MLD_CONTEXT_PARAMETERS_0
-#undef MLD_CONTEXT_PARAMETERS_1
-#undef MLD_CONTEXT_PARAMETERS_2
-#undef MLD_CONTEXT_PARAMETERS_3
-#undef MLD_CONTEXT_PARAMETERS_4
-#undef MLD_CONTEXT_PARAMETERS_5
-#undef MLD_CONTEXT_PARAMETERS_6
-#undef MLD_CONTEXT_PARAMETERS_7
-#undef MLD_CONTEXT_PARAMETERS_8
-#undef MLD_CONTEXT_PARAMETERS_9
 #undef MLD_EMPTY_CU
 #undef MLD_ERR_FAIL
 #undef MLD_ERR_OUT_OF_MEMORY
@@ -454,6 +444,18 @@
 /*
  * Undefine macros from MLD_CONFIG_PARAMETER_SET-generic files
  */
+/* mldsa/src/context.h */
+#undef MLD_CONTEXT_H
+#undef MLD_CONTEXT_PARAMETERS_0
+#undef MLD_CONTEXT_PARAMETERS_1
+#undef MLD_CONTEXT_PARAMETERS_2
+#undef MLD_CONTEXT_PARAMETERS_3
+#undef MLD_CONTEXT_PARAMETERS_4
+#undef MLD_CONTEXT_PARAMETERS_5
+#undef MLD_CONTEXT_PARAMETERS_6
+#undef MLD_CONTEXT_PARAMETERS_7
+#undef MLD_CONTEXT_PARAMETERS_8
+#undef MLD_CONTEXT_PARAMETERS_9
 /* mldsa/src/ct.h */
 #undef MLD_CT_H
 #undef MLD_USE_ASM_VALUE_BARRIER

mldsa/mldsa_native_asm.S

@@ -240,16 +240,6 @@
 #undef MLD_COMMON_H
 #undef MLD_CONCAT
 #undef MLD_CONCAT_
-#undef MLD_CONTEXT_PARAMETERS_0
-#undef MLD_CONTEXT_PARAMETERS_1
-#undef MLD_CONTEXT_PARAMETERS_2
-#undef MLD_CONTEXT_PARAMETERS_3
-#undef MLD_CONTEXT_PARAMETERS_4
-#undef MLD_CONTEXT_PARAMETERS_5
-#undef MLD_CONTEXT_PARAMETERS_6
-#undef MLD_CONTEXT_PARAMETERS_7
-#undef MLD_CONTEXT_PARAMETERS_8
-#undef MLD_CONTEXT_PARAMETERS_9
 #undef MLD_EMPTY_CU
 #undef MLD_ERR_FAIL
 #undef MLD_ERR_OUT_OF_MEMORY
@@ -467,6 +457,18 @@
 /*
  * Undefine macros from MLD_CONFIG_PARAMETER_SET-generic files
  */
+/* mldsa/src/context.h */
+#undef MLD_CONTEXT_H
+#undef MLD_CONTEXT_PARAMETERS_0
+#undef MLD_CONTEXT_PARAMETERS_1
+#undef MLD_CONTEXT_PARAMETERS_2
+#undef MLD_CONTEXT_PARAMETERS_3
+#undef MLD_CONTEXT_PARAMETERS_4
+#undef MLD_CONTEXT_PARAMETERS_5
+#undef MLD_CONTEXT_PARAMETERS_6
+#undef MLD_CONTEXT_PARAMETERS_7
+#undef MLD_CONTEXT_PARAMETERS_8
+#undef MLD_CONTEXT_PARAMETERS_9
 /* mldsa/src/ct.h */
 #undef MLD_CT_H
 #undef MLD_USE_ASM_VALUE_BARRIER

mldsa/src/common.h

@@ -202,62 +202,11 @@
 #error Bad configuration: MLD_CONFIG_CUSTOM_ALLOC_FREE must be set together with MLD_CUSTOM_ALLOC and MLD_CUSTOM_FREE
 #endif
 
-/*
- * If the integration wants to provide a context parameter for use in
- * platform-specific hooks, then it should define this parameter.
- *
- * The MLD_CONTEXT_PARAMETERS_n macros are intended to be used with macros
- * defining the function names and expand to either pass or discard the context
- * argument as required by the current build.  If there is no context parameter
- * requested then these are removed from the prototypes and from all calls.
- */
-#ifdef MLD_CONFIG_CONTEXT_PARAMETER
-#define MLD_CONTEXT_PARAMETERS_0(context) (context)
-#define MLD_CONTEXT_PARAMETERS_1(arg0, context) (arg0, context)
-#define MLD_CONTEXT_PARAMETERS_2(arg0, arg1, context) (arg0, arg1, context)
-#define MLD_CONTEXT_PARAMETERS_3(arg0, arg1, arg2, context) \
-  (arg0, arg1, arg2, context)
-#define MLD_CONTEXT_PARAMETERS_4(arg0, arg1, arg2, arg3, context) \
-  (arg0, arg1, arg2, arg3, context)
-#define MLD_CONTEXT_PARAMETERS_5(arg0, arg1, arg2, arg3, arg4, context) \
-  (arg0, arg1, arg2, arg3, arg4, context)
-#define MLD_CONTEXT_PARAMETERS_6(arg0, arg1, arg2, arg3, arg4, arg5, context) \
-  (arg0, arg1, arg2, arg3, arg4, arg5, context)
-#define MLD_CONTEXT_PARAMETERS_7(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 context)                                  \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6, context)
-#define MLD_CONTEXT_PARAMETERS_8(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 arg7, context)                            \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6, arg7, context)
-#define MLD_CONTEXT_PARAMETERS_9(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 arg7, arg8, context)                      \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, context)
-#else /* MLD_CONFIG_CONTEXT_PARAMETER */
-#define MLD_CONTEXT_PARAMETERS_0(context) ()
-#define MLD_CONTEXT_PARAMETERS_1(arg0, context) (arg0)
-#define MLD_CONTEXT_PARAMETERS_2(arg0, arg1, context) (arg0, arg1)
-#define MLD_CONTEXT_PARAMETERS_3(arg0, arg1, arg2, context) (arg0, arg1, arg2)
-#define MLD_CONTEXT_PARAMETERS_4(arg0, arg1, arg2, arg3, context) \
-  (arg0, arg1, arg2, arg3)
-#define MLD_CONTEXT_PARAMETERS_5(arg0, arg1, arg2, arg3, arg4, context) \
-  (arg0, arg1, arg2, arg3, arg4)
-#define MLD_CONTEXT_PARAMETERS_6(arg0, arg1, arg2, arg3, arg4, arg5, context) \
-  (arg0, arg1, arg2, arg3, arg4, arg5)
-#define MLD_CONTEXT_PARAMETERS_7(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 context)                                  \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6)
-#define MLD_CONTEXT_PARAMETERS_8(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 arg7, context)                            \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6, arg7)
-#define MLD_CONTEXT_PARAMETERS_9(arg0, arg1, arg2, arg3, arg4, arg5, arg6, \
-                                 arg7, arg8, context)                      \
-  (arg0, arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8)
-#endif /* !MLD_CONFIG_CONTEXT_PARAMETER */
-
-#if defined(MLD_CONFIG_CONTEXT_PARAMETER_TYPE) != \
-    defined(MLD_CONFIG_CONTEXT_PARAMETER)
-#error MLD_CONFIG_CONTEXT_PARAMETER_TYPE must be defined if and only if MLD_CONFIG_CONTEXT_PARAMETER is defined
-#endif
+/* Context-parameter machinery (MLD_CONTEXT_PARAMETERS_n and related config
+ * checks). Kept in a separate, level-generic header for readability; included
+ * here so it is available to the allocation macros below and to all consumers
+ * of common.h. */
+#include "context.h"
 
 #if !defined(MLD_CONFIG_CUSTOM_ALLOC_FREE)
 /* Default: stack allocation */