1 /* 2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_X86_SYSCALLS_H 6 #define _KERNEL_ARCH_X86_SYSCALLS_H 7 8 9 #include <SupportDefs.h> 10 11 12 extern void (*gX86SetSyscallStack)(addr_t stackTop); 13 14 15 status_t x86_initialize_commpage_syscall(); 16 17 18 static inline void 19 x86_set_syscall_stack(addr_t stackTop) 20 { 21 if (gX86SetSyscallStack != NULL) 22 gX86SetSyscallStack(stackTop); 23 } 24 25 26 #endif // _KERNEL_ARCH_X86_SYSCALLS_H 27