/trunk/kernel/arch/xen32/src/proc |
---|
File deleted |
\ No newline at end of file |
Property changes: |
Deleted: svn:special |
-* |
\ No newline at end of property |
/trunk/kernel/arch/xen32/src/mm/memory_init.c |
---|
36,6 → 36,7 |
#include <arch/mm/page.h> |
#include <arch/boot/boot.h> |
#include <print.h> |
#include <mm/frame.h> |
size_t get_memory_size(void) |
{ |
44,6 → 45,7 |
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)); |
} |