src/runtime/ppc-arch.h

   1 #ifndef _PPC_ARCH_H
   2 #define _PPC_ARCH_H
   3
   4 static inline void
   5 get_spinlock(lispobj *word,long value)
   6 {
   7     *word=value;                /* FIXME for threads */
   8 }
   9
  10 static inline void
  11 release_spinlock(lispobj *word)
  12 {
  13     *word=0;
  14 }
  15
  16
  17 #define ARCH_HAS_LINK_REGISTER
  18
  19 extern void ppc_flush_icache(os_vm_address_t address, os_vm_size_t length);
  20
  21 os_context_register_t *os_context_ctr_addr(os_context_t *context);
  22 os_context_register_t *os_context_cr_addr(os_context_t *context);
  23
  24 #endif /* _PPC_ARCH_H */