/branches/arm/kernel/genarch/src/mm/page_pt.c |
---|
44,7 → 44,6 |
#include <arch/types.h> |
#include <arch/asm.h> |
#include <memstr.h> |
#include "../../arch/arm32/src/aux_print/printf.h" |
static void pt_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame, int flags); |
static void pt_mapping_remove(as_t *as, uintptr_t page); |