Fix syntax error in syscall.c