| /SPARTAN/trunk/src/build.amd64 |
|---|
| 4,7 → 4,7 |
| # Generate context_offset.h |
| (cd ../arch/amd64/src;make gencontext;./gencontext) |
| # Create links to ia32 architecture |
| for a in drivers bios interrupt.c; do |
| for a in drivers bios; do |
| ln -sf ../../ia32/src/$a ../arch/amd64/src/ |
| done |
| for a in frame.c tlb.c; do |
| /SPARTAN/trunk/src/mm/page.c |
|---|
| 36,7 → 36,7 |
| void page_init(void) |
| { |
| { |
| page_arch_init(); |
| map_page_to_frame(0x0, 0x0, PAGE_NOT_PRESENT, 0); |
| } |
| 54,8 → 54,7 |
| { |
| int i, cnt, length; |
| /* TODO: implement portable way of computing page address from address */ |
| length = size + (s - (s & 0xfffff000)); |
| length = size + (s - (s & ~(PAGE_SIZE-1))); |
| cnt = length/PAGE_SIZE + (length%PAGE_SIZE>0); |
| for (i = 0; i < cnt; i++) |