1 /*
2  * Copyright (c) 2024 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <app_api.h>
8 
9 #include <zephyr/llext/symbol.h>
10 #include <zephyr/internal/syscall_handler.h>
11 
z_impl_foo(int bar)12 int z_impl_foo(int bar)
13 {
14 	return bar * bar;
15 }
16 EXPORT_SYMBOL(z_impl_foo);
17 
18 #ifdef CONFIG_USERSPACE
z_vrfy_foo(int bar)19 static inline int z_vrfy_foo(int bar)
20 {
21 	/* Nothing to verify */
22 	return z_impl_foo(bar);
23 }
24 #include <zephyr/syscalls/foo_mrsh.c>
25 #endif
26