/trunk/kernel/arch/xen32/src/mm/memory_init.c |
---|
48,6 → 48,5 |
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/interrupt.c |
---|
206,4 → 206,3 |
/** @} |
*/ |