fix syscall ctxswtch condition