/branches/arm/kernel/arch/arm32/src/mm/page.c |
---|
41,7 → 41,7 |
#include <typedefs.h> |
#include <arch/types.h> |
#include <interrupt.h> |
#include <arch/debug/print.h> |
#include <arch/mm/frame.h> |
/** |
72,6 → 72,8 |
// TODO: #else |
as_switch(NULL, AS_KERNEL); |
boot_page_table_free(); |
} |
/** |