tree 657026613a819ce2de66057be8a5d335c71e262b
parent 143f5f7c68f6f7bf1eb4b6359c916cfd7fd99ed2
author Dave Rodgman <dave.rodgman@arm.com> 1695156710 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1695156733 +0100

Use properly typed versions of mbedtls_ct_xxx_if

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>