0.7.4.19:
[sbcl.git] / src / runtime / x86-bsd-os.h
1 #ifndef _X86_LINUX_OS_H
2 #define _X86_LINUX_OS_H
3
4 static inline os_context_t *arch_os_get_context(void **void_context) {
5   return (os_context_t *) *void_context;
6 }
7
8 #endif /* _X86_LINUX_OS_H */