199 int dmm_buffer_in_prepare(void *region, void *user_buffer, size_t user_length, void **buffer_in)  in dmm_buffer_in_prepare()  argument
205 		*buffer_in = (void *)user_buffer;  in dmm_buffer_in_prepare()
222 		*buffer_in = user_buffer;  in dmm_buffer_in_prepare()
227 		*buffer_in = dmm_buffer_alloc(dh, user_length);  in dmm_buffer_in_prepare()
229 		if (*buffer_in == NULL) {  in dmm_buffer_in_prepare()
239 		sys_cache_data_invd_range(*buffer_in, user_length);  in dmm_buffer_in_prepare()
246 int dmm_buffer_in_release(void *region, void *user_buffer, size_t user_length, void *buffer_in)  in dmm_buffer_in_release()  argument
249 	uintptr_t addr = (uintptr_t)buffer_in;  in dmm_buffer_in_release()
262 		sys_cache_data_invd_range(buffer_in, user_length);  in dmm_buffer_in_release()
269 	if (buffer_in != user_buffer) {  in dmm_buffer_in_release()
270 		memcpy(user_buffer, buffer_in, user_length);  in dmm_buffer_in_release()
279 		dmm_buffer_free(dh, buffer_in);  in dmm_buffer_in_release()