Merge remote branch 'origin/sparc-dev'
[akaros.git] / kern / src / pmap.c
index f8da191..cc12b7c 100644 (file)
@@ -382,7 +382,7 @@ user_mem_assert(env_t *env, const void *DANGEROUS va, size_t len, int perm)
        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);
+                       "va %08x\n", env->pid, user_mem_check_addr);
                proc_destroy(env);      // may not return
         return NULL;
        }