573f0ea6c5150199b28bbd26d134fbb43a016dfd
[sbcl.git] / 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 */