| /kernel/trunk/arch/ppc32/include/mm/page.h |
|---|
| 132,9 → 132,6 |
| extern void page_arch_init(void); |
| #define PHT_BITS 16 |
| #define PHT_ORDER 4 |
| typedef struct { |
| unsigned v : 1; /**< Valid */ |
| unsigned vsid : 24; /**< Virtual Segment ID */ |
| 150,6 → 147,7 |
| } 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__ */ |
| 160,4 → 158,3 |
| /** @} |
| */ |