Rev 1423 | Rev 1726 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1423 | Rev 1609 | ||
|---|---|---|---|
| Line 141... | Line 141... | ||
| 141 | unsigned wimg : 4; /**< Access control */ |
141 | unsigned wimg : 4; /**< Access control */ |
| 142 | unsigned reserved1 : 1; |
142 | unsigned reserved1 : 1; |
| 143 | unsigned pp : 2; /**< Page protection */ |
143 | unsigned pp : 2; /**< Page protection */ |
| 144 | } phte_t; |
144 | } phte_t; |
| 145 | 145 | ||
| 146 | extern void pht_refill(bool data, istate_t *istate); |
146 | extern void pht_refill(int n, istate_t *istate); |
| 147 | extern void pht_init(void); |
147 | extern void pht_init(void); |
| 148 | 148 | ||
| 149 | #endif /* __ASM__ */ |
149 | #endif /* __ASM__ */ |
| 150 | 150 | ||
| 151 | #endif /* KERNEL */ |
151 | #endif /* KERNEL */ |