1.0.2.18:

[sbcl.git] / src / runtime / ppc-bsd-os.h

diff --git a/src/runtime/ppc-bsd-os.h b/src/runtime/ppc-bsd-os.h
new file mode 100644 (file)
index 0000000..5c8dde0
--- /dev/null
+++ b/src/runtime/ppc-bsd-os.h
@@ -0,0 +1,10 @@
+#ifndef _PPC_BSD_OS_H
+#define _PPC_BSD_OS_H
+
+typedef int os_context_register_t;
+
+static inline os_context_t *arch_os_get_context(void **void_context) {
+    return (os_context_t *) *void_context;
+}
+
+#endif /* _PPC_BSD_OS_H */