/branches/arm/kernel/arch/arm32/include/mm/frame.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Frame related declarations. |
*/ |
#ifndef KERN_arm32_FRAME_H_ |
/branches/arm/kernel/arch/arm32/include/mm/memory_init.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Memory information functions declarations. |
*/ |
#ifndef KERN_arm32_MEMORY_INIT_H_ |
/branches/arm/kernel/arch/arm32/include/mm/page.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Paging related declarations. |
*/ |
#ifndef KERN_arm32_PAGE_H_ |
/branches/arm/kernel/arch/arm32/include/mm/asid.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief ASIDs related declarations. |
*/ |
#ifndef KERN_arm32_ASID_H_ |
/branches/arm/kernel/arch/arm32/include/mm/tlb.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief TLB related declarations. |
*/ |
#ifndef KERN_arm32_TLB_H_ |
/branches/arm/kernel/arch/arm32/include/mm/as.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Address space manipulating functions declarations. |
*/ |
#ifndef KERN_arm32_AS_H_ |
/branches/arm/kernel/arch/arm32/include/mm/page_fault.h |
---|
30,6 → 30,7 |
* @{ |
*/ |
/** @file |
* @brief Page fault related declarations. |
*/ |
#ifndef KERN_arm32_PAGE_FAULT_H_ |
#define KERN_arm32_PAGE_FAULT_H |