/trunk/kernel/arch/ia32xen/include/mm/frame.h |
---|
46,7 → 46,7 |
#define MA2PA(x) ((mp_map[((uintptr_t) (x)) >> 12] << 12) + (((uintptr_t) (x)) & 0xfff)) |
extern void frame_arch_init(void); |
#define physmem_print() |
extern void physmem_print(void); |
#endif /* __ASM__ */ |
#endif /* KERNEL */ |
/trunk/kernel/arch/ia32xen/include/mm/memory_init.h |
---|
40,8 → 40,6 |
size_t get_memory_size(void); |
void memory_print_map(void); |
#endif |
/** @} |
/trunk/kernel/arch/ia32xen/src/ia32xen.c |
---|
160,8 → 160,6 |
void arch_pre_smp_init(void) |
{ |
if (config.cpu_active == 1) { |
memory_print_map(); |
#ifdef CONFIG_SMP |
acpi_init(); |
#endif /* CONFIG_SMP */ |
/trunk/kernel/arch/ia32xen/src/mm/frame.c |
---|
36,6 → 36,14 |
#include <mm/frame.h> |
#include <config.h> |
void physmem_print(void) |
{ |
printf("Base Size Reserved\n"); |
printf("---------- ---------- ---------\n"); |
printf("%#10x %#10x %#10x\n", PFN2ADDR(meminfo.start), |
PFN2ADDR(meminfo.size), PFN2ADDR(meminfo.reserved)); |
} |
void frame_arch_init(void) |
{ |
if (config.cpu_active == 1) { |
/trunk/kernel/arch/ia32xen/src/mm/memory_init.c |
---|
42,10 → 42,5 |
return start_info.frames * PAGE_SIZE; |
} |
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)); |
} |
/** @} |
*/ |