Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2351 → Rev 2352

/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();
}
 
/**