| 46,6 → 46,7 |
|---|
| #include <cpu.h> |
| #include <arch/i8259.h> |
| #include <arch/asm.h> |
| #include <arch/bios/bios.h> |
| #include <arch/acpi/madt.h> |
| |
| /* |
| 132,21 → 133,10 |
|---|
| |
| |
| /* |
| * First place to search the MP Floating Pointer Structure is the Extended |
| * BIOS Data Area. We have to read EBDA segment address from the BIOS Data |
| * Area. Unfortunatelly, this memory is in page 0, which has intentionally no |
| * mapping. |
| */ |
| frame = frame_alloc(FRAME_KA); |
| map_page_to_frame(frame,0,PAGE_CACHEABLE,0); |
| addr = *((__u16 *) (frame + 0x40e)) * 16; |
| map_page_to_frame(frame,frame,PAGE_CACHEABLE,0); |
| frame_free(frame); |
| |
| /* |
| * EBDA can be undefined. In that case addr would be 0. |
| */ |
| if (addr >= 0x1000) { |
| addr = ebda; |
| if (addr) { |
| cnt = 1024; |
| while (addr = __u32_search(addr,cnt,FS_SIGNATURE)) { |
| if (mp_fs_check((__u8 *) addr)) |
| 155,18 → 145,19 |
|---|
| cnt--; |
| } |
| } |
| |
| /* |
| * Second place where the MP Floating Pointer Structure may live is the last |
| * kilobyte of base memory. |
| */ |
| addr = 639*1024; |
| cnt = 1024; |
| while (addr = __u32_search(addr,cnt,FS_SIGNATURE)) { |
| if (mp_fs_check((__u8 *) addr)) |
| goto fs_found; |
| addr++; |
| cnt--; |
| else { |
| /* |
| * Second place where the MP Floating Pointer Structure may live is the last |
| * kilobyte of base memory. |
| */ |
| addr = 639*1024; |
| cnt = 1024; |
| while (addr = __u32_search(addr,cnt,FS_SIGNATURE)) { |
| if (mp_fs_check((__u8 *) addr)) |
| goto fs_found; |
| addr++; |
| cnt--; |
| } |
| } |
| |
| /* |