/branches/arm/kernel/arch/arm32/src/mm/as.c |
---|
39,7 → 39,10 |
#include <mm/as.h> |
#include <arch.h> |
/** Architecture dependent address space init. */ |
/** Architecture dependent address space init. |
* |
* Since ARM supports page tables, #as_pt_operations are used. |
*/ |
void as_arch_init(void) |
{ |
as_operations = &as_pt_operations; |