/branches/arm/kernel/arch/arm32/src/exception.c |
---|
30,7 → 30,7 |
* @{ |
*/ |
/** @file |
@brief Exception handlers and exception initialization routines. |
* @brief Exception handlers and exception initialization routines. |
*/ |
/branches/arm/kernel/arch/arm32/src/mm/tlb.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief TLB related functions. |
*/ |
#include <mm/tlb.h> |
/branches/arm/kernel/arch/arm32/src/mm/as.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Address space functions. |
*/ |
#include <arch/mm/as.h> |
/branches/arm/kernel/arch/arm32/src/mm/page_fault.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Page fault related functions. |
*/ |
#include <panic.h> |
#include <arch/exception.h> |
/branches/arm/kernel/arch/arm32/src/mm/frame.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Frame related functions. |
*/ |
#include <mm/frame.h> |
/branches/arm/kernel/arch/arm32/src/mm/memory_init.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Memory information functions. |
*/ |
#include <arch/mm/memory_init.h> |
38,7 → 39,7 |
/** Determine instaled memory size |
* |
* @returm Memory size in bytes |
* @return Memory size in bytes |
*/ |
size_t get_memory_size(void) |
{ |
/branches/arm/kernel/arch/arm32/src/mm/page.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Paging related functions. |
*/ |
#include <arch/mm/page.h> |
/branches/arm/kernel/arch/arm32/src/userspace.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Userspace. |
*/ |
#include <userspace.h> |
/branches/arm/kernel/arch/arm32/src/interrupt.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Interrupts controlling routines. |
*/ |
#include <arch/asm.h> |
/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief GXemul drivers. |
*/ |
#include <interrupt.h> |