Type Definition psa_key_handle_t
parsec_interface::operations::psa_key_attributes::psa_crypto_sys
type psa_key_handle_t = u16;