/trunk/kernel/arch/ppc64/include/mm/memory_init.h |
---|
35,8 → 35,6 |
#ifndef KERN_ppc64_MEMORY_INIT_H_ |
#define KERN_ppc64_MEMORY_INIT_H_ |
#include <typedefs.h> |
size_t get_memory_size(void); |
void memory_print_map(void); |
/trunk/kernel/arch/ppc64/include/mm/page.h |
---|
104,9 → 104,8 |
#ifndef __ASM__ |
#include <mm/page.h> |
#include <arch/mm/frame.h> |
#include <arch/types.h> |
#include <mm/mm.h> |
#include <arch/interrupt.h> |
static inline int get_pt_flags(pte_t *pt, index_t i) |
{ |
/trunk/kernel/arch/ppc64/include/mm/as.h |
---|
47,6 → 47,8 |
typedef struct { |
} as_arch_t; |
#include <genarch/mm/as_pt.h> |
#define as_constructor_arch(as, flags) (as != as) |
#define as_destructor_arch(as) (as != as) |
#define as_create_arch(as, flags) (as != as) |