From e6a81b0783d1baa2beafddbb6b6f591b299b6d15 Mon Sep 17 00:00:00 2001 From: Bahadir Balban Date: Thu, 14 May 2009 15:15:30 +0300 Subject: [PATCH] Cleaned some printfs in mm0 --- tasks/mm0/src/execve.c | 2 +- tasks/mm0/src/task.c | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/tasks/mm0/src/execve.c b/tasks/mm0/src/execve.c index 30a8163..631628f 100644 --- a/tasks/mm0/src/execve.c +++ b/tasks/mm0/src/execve.c @@ -341,7 +341,7 @@ int sys_execve(struct tcb *sender, char *pathname, char *argv[], char *envp[]) /* Copy the executable path string */ if ((ret = copy_user_string(sender, path, pathname, PATH_MAX)) < 0) return ret; - printf("%s: Copied pathname: %s\n", __FUNCTION__, path); + // printf("%s: Copied pathname: %s\n", __FUNCTION__, path); /* Copy the args */ if (argv && ((ret = copy_user_args(sender, &args, argv, ARGS_MAX)) < 0)) diff --git a/tasks/mm0/src/task.c b/tasks/mm0/src/task.c index 47967b6..e069db0 100644 --- a/tasks/mm0/src/task.c +++ b/tasks/mm0/src/task.c @@ -633,7 +633,8 @@ int task_start(struct tcb *task) }; /* Start the thread */ - printf("%s: Starting task with thread id: %d, space id: %d\n", __TASKNAME__, task->tid, task->spid); + // printf("%s: Starting task with thread id: %d, space id: %d\n", + // __TASKNAME__, task->tid, task->spid); if ((err = l4_thread_control(THREAD_RUN, &ids)) < 0) { printf("l4_thread_control failed with %d\n", err); return err;