tree bdd18dc6f82f3ef45ecd0f49738c664b7c8a531e
parent e7c445542d9381c1bcf2ce81a7d588f7d723a094
author Gilles Peskine <Gilles.Peskine@arm.com> 1611610905 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1613569816 +0100

Factor out is_internal_name as a separate method

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>