840     clz    r2, r1  in OS_GetLockID()
842     mov    r2, #0  in OS_GetLockID()
847     add    r2, r2, #1  in OS_GetLockID()
848     cmp    r2, #32  in OS_GetLockID()
855     cmp    r2, #32  in OS_GetLockID()
865     clz    r2, r1  in OS_GetLockID()
867     mov    r2, #0  in OS_GetLockID()
872     add    r2, r2, #1  in OS_GetLockID()
873     cmp    r2, #32  in OS_GetLockID()
880     cmp    r2, #32  in OS_GetLockID()
890     add    r0, r0, r2  in OS_GetLockID()
892     mov    r1, r1, lsr r2  in OS_GetLockID()
894     ldr    r2, [r3, #0]  in OS_GetLockID()
895     bic    r2, r2, r1  in OS_GetLockID()
896     str    r2, [r3, #0]  in OS_GetLockID()
925     ldr    r2, [r3, #0]  in OS_ReleaseLockID()
926     orr    r2, r2, r1  in OS_ReleaseLockID()
927     str    r2, [r3, #0]  in OS_ReleaseLockID()