release_read_spinlock
extern void release_read_spinlock(rw_spinlock* lock);
release_read_spinlock(lockable);
release_read_spinlock(lockable);
release_read_spinlock(&fSchedulerModeLock);
release_read_spinlock(&sBroadcastMessageSpinlock);
release_read_spinlock(&sBroadcastMessageSpinlock);
release_read_spinlock(&sBroadcastMessageSpinlock);