#ifndef _PPC_DARWIN_OS_H
#define _PPC_DARWIN_OS_H
-static inline os_context_t *arch_os_get_context(void **void_context) {
+typedef unsigned int os_context_register_t;
+
+static inline os_context_t *arch_os_get_context(void **void_context)
+{
return (os_context_t *) *void_context;
}