From 2a3b0d72b34c90f6c68624c82e189a476c48deeb Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 26 Jun 2012 12:02:23 +0200 Subject: [PATCH] Don't deallocate invalid cap SC slot is unused here. --- base-nova/src/core/thread_start.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/base-nova/src/core/thread_start.cc b/base-nova/src/core/thread_start.cc index 4589ee6557..d50c355f79 100644 --- a/base-nova/src/core/thread_start.cc +++ b/base-nova/src/core/thread_start.cc @@ -49,7 +49,6 @@ void Thread_base::_init_platform_thread() void Thread_base::_deinit_platform_thread() { - unmap_local(Nova::Obj_crd(_tid.sc_sel, 0)); unmap_local(Nova::Obj_crd(_tid.ec_sel, 0)); unmap_local(Nova::Obj_crd(_tid.rs_sel, 0)); }