| 36,7 → 36,14 |
|---|
| #define KERN_ppc32_TLB_H_ |
| |
| #include <arch/interrupt.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| |
| #define WIMG_GUARDED 0x01 |
| #define WIMG_COHERENT 0x02 |
| #define WIMG_NO_CACHE 0x04 |
| #define WIMG_WRITETHRU 0x08 |
| |
| typedef struct { |
| unsigned v : 1; /**< Valid */ |
| unsigned vsid : 24; /**< Virtual Segment ID */ |
| 51,9 → 58,27 |
|---|
| unsigned pp : 2; /**< Page protection */ |
| } phte_t; |
| |
| typedef struct { |
| unsigned v : 1; |
| unsigned vsid : 24; |
| unsigned reserved0 : 1; |
| unsigned api : 6; |
| } ptehi_t; |
| |
| typedef struct { |
| unsigned rpn : 20; |
| unsigned xpn : 3; |
| unsigned reserved0 : 1; |
| unsigned c : 1; |
| unsigned wimg : 4; |
| unsigned x : 1; |
| unsigned pp : 2; |
| } ptelo_t; |
| |
| extern void pht_init(void); |
| 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); |
| extern bool pht_refill_real(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
| extern void tlb_refill_real(int n, uint32_t tlbmiss, ptehi_t ptehi, ptelo_t ptelo, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
| |
| #endif |
| |