Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2722 → Rev 2723

/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));
}
 
/** @}
*/