1.0.26.13: OpenBSD x86-64 support

[sbcl.git] / src / runtime / ppc-arch.h

diff --git a/src/runtime/ppc-arch.h b/src/runtime/ppc-arch.h
index b43e78e..be871d8 100644 (file)
--- a/src/runtime/ppc-arch.h
+++ b/src/runtime/ppc-arch.h
@@ -1,6 +1,21 @@
 #ifndef _PPC_ARCH_H
 #define _PPC_ARCH_H
 
+static inline void
+get_spinlock(lispobj *word,long value)
+{
+    *word=value;                /* FIXME for threads */
+}
+
+static inline void
+release_spinlock(lispobj *word)
+{
+    *word=0;
+}
+
+
 #define ARCH_HAS_LINK_REGISTER
 
+extern void ppc_flush_icache(os_vm_address_t address, os_vm_size_t length);
+
 #endif /* _PPC_ARCH_H */