fixed bad spacing
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:29:43 +0000 (20:29 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:29:43 +0000 (20:29 -0800)
kern/src/pmap.c

index e90e6fe..f8da191 100644 (file)
@@ -379,7 +379,7 @@ user_mem_assert(env_t *env, const void *DANGEROUS va, size_t len, int perm)
                return NULL;
        }
        
-    void *COUNT(len) res = user_mem_check(env,va,len,perm | PTE_USER_RO);
+       void *COUNT(len) res = user_mem_check(env,va,len,perm | PTE_USER_RO);
        if (!res) {
                cprintf("[%08x] user_mem_check assertion failure for "
                        "va %08x\n", env->env_id, user_mem_check_addr);