[...]

> The following functions or macros will be exported by <machine/lock.h>:
> 
>         void cpu_simple_lock_init(__volatile struct simplelock *alp);
> 
>                 MANDATORY
> 
>                 This function, inline function, or macro initializes
>                 the `lock_data' member of `struct simplelock' to the
>                 value SIMPLELOCK_UNLOCKED.

Missing:
 void cpu_simple_lock_destroy(__volatile struct simplelock *alp);
               This function, inline function, or macro destroys 
                   the lock (a NOP on most architectures)
                   With diagnostic/debug takes care of cpu lock-counts,
                    if the lock is destroyed locked.
                 


Stefan