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 | /** @} |