1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2002 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
4 */
5
6 #ifndef __SKAS_H
7 #define __SKAS_H
8
9 #include <sysdep/ptrace.h>
10
11 extern int userspace_pid[];
12
13 extern int user_thread(unsigned long stack, int flags);
14 extern void new_thread_handler(void);
15 extern void handle_syscall(struct uml_pt_regs *regs);
16 extern long execute_syscall_skas(void *r);
17 extern unsigned long current_stub_stack(void);
18 extern struct mm_id *current_mm_id(void);
19 extern void current_mm_sync(void);
20
21 #endif
22
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.