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 */