chore: remove commented code

fisop · Oct 28, 2024 · e8d17ad · e8d17ad
1 parent b9b921b
commit e8d17ad
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/sched/kern/env.c b/sched/kern/env.c
@@ -471,9 +471,7 @@ env_destroy(struct Env *e)
 	env_free(e);
 
 	if (curenv == e) {
-		// cprintf("[%08x] env_destroy %08x\n", curenv ? curenv->env_id : 0, e->env_id);
 		curenv = NULL;
-		// cprintf("[%08x] env_destroy %08x\n", curenv ? curenv->env_id : 0, e->env_id);
 		sched_yield();
 	}
 }

diff --git a/sched/kern/syscall.c b/sched/kern/syscall.c
@@ -242,7 +242,6 @@ sys_page_alloc(envid_t envid, void *va, int perm)
 	if ((r = envid2env(envid, &env, 1)))
 		return r;
 
-	// cprintf("[%08x] page_alloc at %08x\n", env->env_id, va);
 	return env_page_alloc(env, va, perm | PTE_U | PTE_P);
 }
 
@@ -282,15 +281,12 @@ sys_page_map(envid_t srcenvid, void *srcva, envid_t dstenvid, void *dstva, int p
 
 	struct Env *srcenv;
 	struct Env *dstenv;
+
 	if ((r = envid2env(srcenvid, &srcenv, 1)))
 		return r;
 	if ((r = envid2env(dstenvid, &dstenv, 1)))
 		return r;
 
-	// cprintf("[%08x] dstenv %08x\n", dstenv->env_id, dstva);
-	// cprintf("[%08x] srcenv %08x\n", srcenv->env_id, srcva);
-
-
 	return env_page_map(srcenv, srcva, dstenv, dstva, PTE_P | PTE_U | perm);
 }