1 /*
2  * Copyright (c) 2020 Intel Corporation.
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #ifndef MAIN_H
7 #define MAIN_H
8 
9 __syscall void dump_my_ptables(void);
10 
11 #include <zephyr/syscalls/main.h>
12 
13 #endif
14