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