| 37,7 → 37,6 |
|---|
| #include <func.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <mm/page.h> |
| #include <cpu.h> |
| #include <arch/asm.h> |
| #include <arch/bios/bios.h> |
| 202,16 → 201,6 |
|---|
| else |
| config.cpu_count = configure_via_default(fs->config_type); |
| |
| if (config.cpu_count > 1) { |
| map_page_to_frame((__address) l_apic, (__address) l_apic, PAGE_NOT_CACHEABLE, 0); |
| } |
| |
| |
| /* |
| * Must be initialized outside the kmp thread, since it is waited |
| * on before the kmp thread is created. |
| */ |
| waitq_initialize(&kmp_completion_wq); |
| return; |
| } |
| |
| 343,8 → 332,6 |
|---|
| return; |
| } |
| |
| map_page_to_frame((__address) ioa->io_apic, (__address) ioa->io_apic, PAGE_NOT_CACHEABLE, 0); |
| |
| io_apic = ioa->io_apic; |
| } |
| |