Rev 2256 | Go to most recent revision | Show entire file | Ignore 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 |