Changes in kernel/arch/ia32/src/smp/smp.c [e3ce39b:99d6fd0] in mainline

File:

• kernel/arch/ia32/src/smp/smp.c (modified) (1 diff)

kernel/arch/ia32/src/smp/smp.c

@@ -83 +83 @@
                 panic("Cannot allocate address for io_apic.");
 
-        if (config.cpu_count > 1) {
-                page_table_lock(AS_KERNEL, true);
+        if (config.cpu_count > 1) {             
                 page_mapping_insert(AS_KERNEL, l_apic_address,
                     (uintptr_t) l_apic, PAGE_NOT_CACHEABLE | PAGE_WRITE);
                 page_mapping_insert(AS_KERNEL, io_apic_address,
                     (uintptr_t) io_apic, PAGE_NOT_CACHEABLE | PAGE_WRITE);
-                page_table_unlock(AS_KERNEL, true);
                                   
                 l_apic = (uint32_t *) l_apic_address;