Rev 3830 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3830 | Rev 3837 | ||
|---|---|---|---|
| Line 57... | Line 57... | ||
| 57 | unsigned reserved1 : 1; |
57 | unsigned reserved1 : 1; |
| 58 | unsigned pp : 2; /**< Page protection */ |
58 | unsigned pp : 2; /**< Page protection */ |
| 59 | } phte_t; |
59 | } phte_t; |
| 60 | 60 | ||
| 61 | extern void pht_refill(int n, istate_t *istate); |
61 | extern void pht_refill(int n, istate_t *istate); |
| 62 | extern bool pht_real_refill(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
62 | extern bool pht_refill_real(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START"))); |
| 63 | extern void pht_init(void); |
63 | extern void pht_init(void); |
| 64 | 64 | ||
| 65 | #endif |
65 | #endif |
| 66 | 66 | ||
| 67 | /** @} |
67 | /** @} |