| 1,5 → 1,5 |
|---|
| /* |
| * Copyright (c) 2003-2004 Jakub Jermar |
| * Copyright (c) 2007 Pavel Jancik, Michal Kebrt |
| * All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| 41,21 → 41,19 |
|---|
| |
| void page_arch_init(void) |
| { |
| |
| uintptr_t cur; |
| uintptr_t cur; |
| int flags; |
| |
| page_mapping_operations = &pt_mapping_operations; |
| |
| flags = PAGE_CACHEABLE; |
| const unsigned maxmem = ALIGN_DOWN(config.memory_size, FRAME_SIZE); |
| |
| for (cur = 0; cur < maxmem; cur += FRAME_SIZE) { |
| // page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
| const unsigned maxmem = ALIGN_DOWN(config.memory_size, FRAME_SIZE); |
| |
| for (cur = 0; cur < maxmem; cur += FRAME_SIZE) { |
| //page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags); |
| } |
| //TODO set page fault routines |
| // no problem no ... kernel doesn't do page faults |
| |
| } |
| |
| /** Map device into kernel space. */ |