diff --git a/src/system/kernel/arch/x86/arch_thread.cpp b/src/system/kernel/arch/x86/arch_thread.cpp
index e7b1298..a21744c 100644
a
|
b
|
arch_thread_context_switch(Thread* from, Thread* to)
|
226 | 226 | if (toAddressSpace != NULL |
227 | 227 | && (toPagingStructures = static_cast<X86VMTranslationMap*>( |
228 | 228 | toAddressSpace->TranslationMap())->PagingStructures()) |
229 | | != activePagingStructures) { |
| 229 | // != activePagingStructures) { |
| 230 | != NULL) { |
230 | 231 | // update on which CPUs the address space is used |
231 | 232 | int cpu = cpuData->cpu_num; |
232 | 233 | atomic_and(&activePagingStructures->active_on_cpus, |
… |
… |
arch_thread_context_switch(Thread* from, Thread* to)
|
239 | 240 | |
240 | 241 | // set the page directory, if it changes |
241 | 242 | addr_t newPageDirectory = toPagingStructures->pgdir_phys; |
242 | | if (newPageDirectory != activePagingStructures->pgdir_phys) |
| 243 | // if (newPageDirectory != activePagingStructures->pgdir_phys) |
243 | 244 | x86_swap_pgdir(newPageDirectory); |
244 | 245 | |
245 | 246 | // This CPU no longer uses the previous paging structures. |