The return value of function mm_takesemaphore will never below than zero, DEBUGVERIFY make no effect to check it, use DEBUGASSERT instead. Signed-off-by: xiangdong6 <xiangdong6@xiaomi.com>