842     clz    r2, r1  in OS_GetLockID()
844     mov    r2, #0  in OS_GetLockID()
849     add    r2, r2, #1  in OS_GetLockID()
850     cmp    r2, #32  in OS_GetLockID()
857     cmp    r2, #32  in OS_GetLockID()
867     clz    r2, r1  in OS_GetLockID()
869     mov    r2, #0  in OS_GetLockID()
874     add    r2, r2, #1  in OS_GetLockID()
875     cmp    r2, #32  in OS_GetLockID()
882     cmp    r2, #32  in OS_GetLockID()
892     add    r0, r0, r2  in OS_GetLockID()
894     mov    r1, r1, lsr r2  in OS_GetLockID()
896     ldr    r2, [r3, #0]  in OS_GetLockID()
897     bic    r2, r2, r1  in OS_GetLockID()
898     str    r2, [r3, #0]  in OS_GetLockID()
927     ldr    r2, [r3, #0]  in OS_ReleaseLockID()
928     orr    r2, r2, r1  in OS_ReleaseLockID()
929     str    r2, [r3, #0]  in OS_ReleaseLockID()