| /trunk/kernel/arch/ppc32/include/mm/memory_init.h |
|---|
| 35,8 → 35,6 |
| #ifndef KERN_ppc32_MEMORY_INIT_H_ |
| #define KERN_ppc32_MEMORY_INIT_H_ |
| #include <typedefs.h> |
| size_t get_memory_size(void); |
| void memory_print_map(void); |
| /trunk/kernel/arch/ppc32/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/ppc32/include/mm/tlb.h |
|---|
| 35,6 → 35,8 |
| #ifndef KERN_ppc32_TLB_H_ |
| #define KERN_ppc32_TLB_H_ |
| #include <arch/interrupt.h> |
| typedef struct { |
| unsigned v : 1; /**< Valid */ |
| unsigned vsid : 24; /**< Virtual Segment ID */ |
| /trunk/kernel/arch/ppc32/include/mm/as.h |
|---|
| 42,11 → 42,13 |
| #define USER_ADDRESS_SPACE_START_ARCH ((unsigned long) 0x00000000) |
| #define USER_ADDRESS_SPACE_END_ARCH ((unsigned long) 0x7fffffff) |
| #define USTACK_ADDRESS_ARCH (0x7fffffff-(PAGE_SIZE-1)) |
| #define USTACK_ADDRESS_ARCH (0x7fffffff - (PAGE_SIZE - 1)) |
| 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) |