From 18525876aa5687486f61f1338615ed6cc8409d1c Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Thu, 15 Jan 2026 19:30:57 +0100 Subject: [PATCH] check_names: allow pqcp driver to configure mldsa-native Signed-off-by: Gilles Peskine --- scripts/check_names.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/check_names.py b/scripts/check_names.py index 364daa648..9eab8cf40 100755 --- a/scripts/check_names.py +++ b/scripts/check_names.py @@ -1167,6 +1167,11 @@ class NameChecker(): match.name in self.BIGNUM_SHORTHANDS and \ '/bignum' in match.filename and 'include' not in match.filename: return True + # Allow pqcp driver code to use private names of mldsa-native and + # mlkem-native. This is a necessary part of configuring them. + if re.match(r'ml[dk]_', match.name, re.I) and \ + 'drivers/pqcp/src/' in match.filename: + return True return False def check_match_pattern(self, group_to_check: str,