159     const uint8_t *key_buffer, size_t key_buffer_size,  in psa_driver_wrapper_export_public_key()  argument
183                     *( (psa_key_slot_number_t *)key_buffer ),  in psa_driver_wrapper_export_public_key()
201                                 key_buffer,  in psa_driver_wrapper_export_public_key()
215                          key_buffer,  in psa_driver_wrapper_export_public_key()
226                                 key_buffer,  in psa_driver_wrapper_export_public_key()
241                                                     key_buffer,  in psa_driver_wrapper_export_public_key()
254                             key_buffer,  in psa_driver_wrapper_export_public_key()
274     uint8_t *key_buffer, size_t key_buffer_size, size_t *key_buffer_length )  in psa_driver_wrapper_get_builtin_key()  argument
287                             key_buffer,  in psa_driver_wrapper_get_builtin_key()
300                         key_buffer, key_buffer_size, key_buffer_length ) );  in psa_driver_wrapper_get_builtin_key()
304             (void) key_buffer;  in psa_driver_wrapper_get_builtin_key()