-extern void ppc_usimple_lock_init(simple_lock_t,etap_event_t);
-extern void ppc_usimple_lock(simple_lock_t);
-extern void ppc_usimple_unlock_rwmb(simple_lock_t);
-extern void ppc_usimple_unlock_rwcmb(simple_lock_t);
-extern unsigned int ppc_usimple_lock_try(simple_lock_t);
-
-#define MACHINE_SIMPLE_LOCK
-
-#define simple_lock_init(l,t) ppc_usimple_lock_init(l,t)
-#define simple_lock(l) ppc_usimple_lock(l)
-#define simple_unlock(l) ppc_usimple_unlock_rwcmb(l)
-#define simple_unlock_rwmb(l) ppc_usimple_unlock_rwmb(l)
-#define simple_lock_try(l) ppc_usimple_lock_try(l)
-#define simple_lock_addr(l) (&(l))
-#define thread_sleep_simple_lock(l, e, i) \
- thread_sleep_fast_usimple_lock((l), (e), (i))
-
-#define mutex_unlock(l) mutex_unlock_rwcmb(l)
-
-#endif /* !(NCPUS == 1 || ETAP_LOCK_TRACE || USLOCK_DEBUG) */