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
11extern int userspace_pid[];
12
13extern int user_thread(unsigned long stack, int flags);
14extern void new_thread_handler(void);
15extern void handle_syscall(struct uml_pt_regs *regs);
16extern long execute_syscall_skas(void *r);
17extern unsigned long current_stub_stack(void);
18
19#endif
20