1,5 → 1,5 |
/* |
* Copyright (c) 2005 Jakub Jermar |
* Copyright (c) 2007 Pavel Jancik, Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
30,18 → 30,30 |
* @{ |
*/ |
/** @file |
* @brief Frame related declarations. |
*/ |
|
#ifndef KERN_arm32_FRAME_H_ |
#define KERN_arm32_FRAME_H_ |
|
#define FRAME_WIDTH 0 /* TODO */ |
#define FRAME_WIDTH 12 /* 4KB frames */ |
#define FRAME_SIZE (1 << FRAME_WIDTH) |
|
#ifdef KERNEL |
#ifndef __ASM__ |
|
#include <arch/types.h> |
|
#define BOOT_PAGE_TABLE_SIZE 0x4000 |
#define BOOT_PAGE_TABLE_ADDRESS 0x4000 |
|
#define BOOT_PAGE_TABLE_START_FRAME (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH) |
#define BOOT_PAGE_TABLE_SIZE_IN_FRAMES (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH) |
|
extern uintptr_t last_frame; |
|
extern void frame_arch_init(void); |
extern void boot_page_table_free(void); |
|
#endif /* __ASM__ */ |
#endif /* KERNEL */ |