diff --git a/sched/task.c b/sched/task.c
index a9f148f..6320a3f 100644
--- a/sched/task.c
+++ b/sched/task.c
@@ -376,6 +376,7 @@ void task_exit(int status)
 	spin_lock(&self->t_handles_lock);
 
 	pmap_switch(get_kernel_pmap());
+	self->t_address_space->s_pmap = PMAP_INVALID;
 	pmap_destroy(self->t_pmap);
 
 	task_unlock(self);