/branches/arm/kernel/arch/arm32/include/mm/page.h/page.h |
---|
225,8 → 225,12 |
} |
} |
extern void page_arch_init(void); |
extern void prefetch_abourt(int n, istate_t *istate); |
extern void data_abourt(int n, istate_t *istate); |
#endif /* __ASM__ */ |
#endif /* KERNEL */ |