116     const psa_key_attributes_t *attributes,  in psa_driver_wrapper_get_key_buffer_size()  argument
119     psa_key_location_t location = PSA_KEY_LIFETIME_GET_LOCATION( psa_get_key_lifetime(attributes) );  in psa_driver_wrapper_get_key_buffer_size()
120     psa_key_type_t key_type = psa_get_key_type(attributes);  in psa_driver_wrapper_get_key_buffer_size()
121     size_t key_bits = psa_get_key_bits(attributes);  in psa_driver_wrapper_get_key_buffer_size()
132                         psa_get_key_id( attributes ) ) ) )  in psa_driver_wrapper_get_key_buffer_size()
146             return tfm_builtin_key_loader_get_key_buffer_size(psa_get_key_id(attributes),  in psa_driver_wrapper_get_key_buffer_size()
158     const psa_key_attributes_t *attributes,  in psa_driver_wrapper_export_public_key()  argument
166                                       psa_get_key_lifetime( attributes ) );  in psa_driver_wrapper_export_public_key()
173     if( psa_get_se_driver( psa_get_key_lifetime(attributes), &drv, &drv_context ) )  in psa_driver_wrapper_export_public_key()
200                 (attributes,  in psa_driver_wrapper_export_public_key()
214                          attributes,  in psa_driver_wrapper_export_public_key()
225                 (attributes,  in psa_driver_wrapper_export_public_key()
240             return( psa_export_public_key_internal( attributes,  in psa_driver_wrapper_export_public_key()
253             (attributes,  in psa_driver_wrapper_export_public_key()
273     psa_key_attributes_t *attributes,  in psa_driver_wrapper_get_builtin_key()  argument
277     psa_key_location_t location = PSA_KEY_LIFETIME_GET_LOCATION( psa_get_key_lifetime(attributes) );  in psa_driver_wrapper_get_builtin_key()
286                             attributes,  in psa_driver_wrapper_get_builtin_key()
297                         attributes,  in psa_driver_wrapper_get_builtin_key()