Rev 2256 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2256 | Rev 2258 | ||
---|---|---|---|
Line 223... | Line 223... | ||
223 | PTE_AP_USER_RW_KERNEL_RW; |
223 | PTE_AP_USER_RW_KERNEL_RW; |
224 | } |
224 | } |
225 | } |
225 | } |
226 | } |
226 | } |
227 | 227 | ||
- | 228 | ||
228 | extern void page_arch_init(void); |
229 | extern void page_arch_init(void); |
229 | 230 | ||
- | 231 | extern void prefetch_abourt(int n, istate_t *istate); |
|
- | 232 | extern void data_abourt(int n, istate_t *istate); |
|
- | 233 | ||
230 | #endif /* __ASM__ */ |
234 | #endif /* __ASM__ */ |
231 | 235 | ||
232 | #endif /* KERNEL */ |
236 | #endif /* KERNEL */ |
233 | 237 | ||
234 | #endif |
238 | #endif |