schedule: dp: userspace: make scheduler_dp_internal_free() a syscall

Make scheduler_dp_internal_free() a syscall in the "application" DP
implementation.

Signed-off-by: Guennadi Liakhovetski <guennadi.liakhovetski@linux.intel.com>

Author: lyakh

src/include/sof/schedule/dp_schedule.h

@@ -80,6 +80,12 @@ int scheduler_dp_task_init(struct task **task,
 			   uint32_t options);
 
 #if defined(__ZEPHYR__) && CONFIG_SOF_FULL_ZEPHYR_APPLICATION
+#if CONFIG_SOF_USERSPACE_APPLICATION
+__syscall void scheduler_dp_internal_free(struct task *task);
+#else
+void scheduler_dp_internal_free(struct task *task);
+#endif
+
 __syscall void scheduler_dp_ll_tick(unsigned int core);
 #include <zephyr/syscalls/dp_schedule.h>
 #endif

src/schedule/zephyr_dp_schedule.h

@@ -57,7 +57,3 @@ void dp_thread_fn(void *p1, void *p2, void *p3);
 unsigned int scheduler_dp_lock(uint16_t core);
 void scheduler_dp_unlock(unsigned int key);
 void scheduler_dp_grant(k_tid_t thread_id, uint16_t core);
-int scheduler_dp_task_init(struct task **task, const struct sof_uuid_entry *uid,
-			   const struct task_ops *ops, struct processing_module *mod,
-			   uint16_t core, size_t stack_size, uint32_t options);
-void scheduler_dp_internal_free(struct task *task);

src/schedule/zephyr_dp_schedule_application.c

@@ -8,6 +8,7 @@
 #include <rtos/task.h>
 
 #include <sof/audio/module_adapter/module/generic.h>
+#include <sof/audio/component.h>
 #include <sof/common.h>
 #include <sof/list.h>
 #include <sof/llext_manager.h>
@@ -400,7 +401,7 @@ struct scheduler_dp_task_memory {
 	struct ipc4_flat flat;
 };
 
-void scheduler_dp_internal_free(struct task *task)
+void z_impl_scheduler_dp_internal_free(struct task *task)
 {
 	struct task_dp_pdata *pdata = task->priv_data;
 
@@ -612,3 +613,41 @@ int scheduler_dp_task_init(struct task **task, const struct sof_uuid_entry *uid,
 	mod_free(mod, task_memory);
 	return ret;
 }
+
+#ifdef CONFIG_USERSPACE
+#include <zephyr/internal/syscall_handler.h>
+
+static void scheduler_dp_mod_vrfy(struct processing_module *mod)
+{
+	K_OOPS(K_SYSCALL_MEMORY_WRITE(mod, sizeof(*mod)));
+	K_OOPS(K_SYSCALL_MEMORY_WRITE(mod->dev, sizeof(*mod->dev)));
+	K_OOPS(K_SYSCALL_MEMORY_READ(mod->dev->drv, sizeof(*mod->dev->drv)));
+
+	struct mod_alloc_ctx *alloc = mod->priv.resources.alloc;
+
+	assert(alloc);
+	if (alloc->heap) {
+		size_t h_size = 0;
+		uintptr_t h_start;
+
+		mod_heap_info(mod, &h_size, &h_start);
+		if (h_size)
+			K_OOPS(K_SYSCALL_MEMORY_WRITE(h_start, h_size));
+	}
+	if (alloc->vreg)
+		K_OOPS(K_SYSCALL_MEMORY_WRITE(alloc->vreg_start, alloc->vreg_size));
+}
+
+void z_vrfy_scheduler_dp_internal_free(struct task *task)
+{
+	K_OOPS(K_SYSCALL_MEMORY_WRITE(task, sizeof(*task)));
+
+	struct task_dp_pdata *pdata = task->priv_data;
+
+	K_OOPS(K_SYSCALL_OBJ(pdata->event, K_OBJ_EVENT));
+	K_OOPS(K_SYSCALL_OBJ_INIT(pdata->thread, K_OBJ_THREAD));
+	scheduler_dp_mod_vrfy(pdata->mod);
+	return z_impl_scheduler_dp_internal_free(task);
+}
+#include <zephyr/syscalls/scheduler_dp_internal_free_mrsh.c>
+#endif