/kernel/trunk/arch/ppc32/include/interrupt.h |
---|
58,4 → 58,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/exception.h |
---|
102,4 → 102,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/types.h |
---|
67,4 → 67,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/boot/boot.h |
---|
82,8 → 82,8 |
} keyboard_t; |
typedef struct { |
memmap_t memmap; |
taskmap_t taskmap; |
memmap_t memmap; |
screen_t screen; |
keyboard_t keyboard; |
} bootinfo_t; |
96,4 → 96,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/arch.h |
---|
41,4 → 41,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/frame.h |
---|
54,4 → 54,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/memory_init.h |
---|
45,4 → 45,3 |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/page.h |
---|
132,24 → 132,6 |
extern void page_arch_init(void); |
typedef struct { |
unsigned v : 1; /**< Valid */ |
unsigned vsid : 24; /**< Virtual Segment ID */ |
unsigned h : 1; /**< Primary/secondary hash */ |
unsigned api : 6; /**< Abbreviated Page Index */ |
unsigned rpn : 20; /**< Real Page Number */ |
unsigned reserved0 : 3; |
unsigned r : 1; /**< Reference */ |
unsigned c : 1; /**< Change */ |
unsigned wimg : 4; /**< Access control */ |
unsigned reserved1 : 1; |
unsigned pp : 2; /**< Page protection */ |
} phte_t; |
extern void pht_refill(int n, istate_t *istate); |
extern bool pht_real_refill(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
extern void pht_init(void); |
#endif /* __ASM__ */ |
#endif /* KERNEL */ |
/kernel/trunk/arch/ppc32/include/mm/asid.h |
---|
35,15 → 35,13 |
#ifndef __ppc32_ASID_H__ |
#define __ppc32_ASID_H__ |
typedef int asid_t; |
#include <arch/types.h> |
#define ASID_MAX_ARCH 3 |
#define ASID_MAX_ARCH 4096 |
#define asid_get() (ASID_START+1) |
#define asid_put(asid) |
typedef __u32 asid_t; |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/tlb.h |
---|
35,9 → 35,25 |
#ifndef __ppc32_TLB_H__ |
#define __ppc32_TLB_H__ |
typedef struct { |
unsigned v : 1; /**< Valid */ |
unsigned vsid : 24; /**< Virtual Segment ID */ |
unsigned h : 1; /**< Primary/secondary hash */ |
unsigned api : 6; /**< Abbreviated Page Index */ |
unsigned rpn : 20; /**< Real Page Number */ |
unsigned reserved0 : 3; |
unsigned r : 1; /**< Reference */ |
unsigned c : 1; /**< Change */ |
unsigned wimg : 4; /**< Access control */ |
unsigned reserved1 : 1; |
unsigned pp : 2; /**< Page protection */ |
} phte_t; |
extern void pht_refill(int n, istate_t *istate); |
extern bool pht_real_refill(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
extern void pht_init(void); |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/as.h |
---|
44,8 → 44,6 |
#define USTACK_ADDRESS_ARCH (0x7fffffff-(PAGE_SIZE-1)) |
#define as_install_arch(as) |
extern void as_arch_init(void); |
#endif |
52,4 → 50,3 |
/** @} |
*/ |