src/runtime/ppc-bsd-os.h

   1 #ifndef _PPC_BSD_OS_H
   2 #define _PPC_BSD_OS_H
   3
   4 typedef int os_context_register_t;
   5
   6 static inline os_context_t *arch_os_get_context(void **void_context)
   7 {
   8     return (os_context_t *) *void_context;
   9 }
  10
  11 #endif /* _PPC_BSD_OS_H */