| /trunk/kernel/arch/xen32/src/mm/memory_init.c |
|---|
| 36,7 → 36,6 |
| #include <arch/mm/page.h> |
| #include <arch/boot/boot.h> |
| #include <print.h> |
| #include <mm/frame.h> |
| size_t get_memory_size(void) |
| { |
| 45,7 → 44,6 |
| void memory_print_map(void) |
| { |
| printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved)); |
| } |
| /trunk/kernel/arch/xen32/src/proc |
|---|
| 0,0 → 1,0 |
| link ../../ia32/src/proc |
| Property changes: |
| Added: svn:special |
| +* |
| \ No newline at end of property |