1.0.0.32: support for FreeBSD/x86-64

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

diff --git a/src/runtime/x86-bsd-os.h b/src/runtime/x86-bsd-os.h
index 8e8b291..3ff9f52 100644 (file)
--- a/src/runtime/x86-bsd-os.h
+++ b/src/runtime/x86-bsd-os.h
@@ -6,6 +6,8 @@
 #include <machine/cpufunc.h>
 #endif
 
+typedef int os_context_register_t;
+
 static inline os_context_t *arch_os_get_context(void **void_context) {
     return (os_context_t *) *void_context;
 }