/trunk/kernel/arch/ia32/include/mm/frame.h |
---|
26,19 → 26,18 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ia32_FRAME_H__ |
#define __ia32_FRAME_H__ |
#ifndef KERN_ia32_FRAME_H_ |
#define KERN_ia32_FRAME_H_ |
#define FRAME_WIDTH 12 /* 4K */ |
#define FRAME_SIZE (1<<FRAME_WIDTH) |
#ifdef KERNEL |
#ifndef __ASM__ |
53,6 → 52,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/include/mm/memory_init.h |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
33,8 → 33,8 |
* @ingroup ia32mm, am64mm |
*/ |
#ifndef __ia32_MEMORY_INIT_H__ |
#define __ia32_MEMORY_INIT_H__ |
#ifndef KERN_ia32_MEMORY_INIT_H_ |
#define KERN_ia32_MEMORY_INIT_H_ |
#include <typedefs.h> |
44,6 → 44,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/include/mm/page.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ia32_PAGE_H__ |
#define __ia32_PAGE_H__ |
#ifndef KERN_ia32_PAGE_H_ |
#define KERN_ia32_PAGE_H_ |
#include <arch/mm/frame.h> |
168,6 → 168,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/include/mm/asid.h |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
39,8 → 39,8 |
* interface. |
*/ |
#ifndef __ia32_ASID_H__ |
#define __ia32_ASID_H__ |
#ifndef KERN_ia32_ASID_H_ |
#define KERN_ia32_ASID_H_ |
typedef int asid_t; |
51,6 → 51,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/include/mm/tlb.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ia32_TLB_H__ |
#define __ia32_TLB_H__ |
#ifndef KERN_ia32_TLB_H_ |
#define KERN_ia32_TLB_H_ |
#define tlb_arch_init() |
#define tlb_print() |
40,6 → 40,5 |
#endif |
/** @} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/include/mm/as.h |
---|
26,14 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ia32mm |
/** @addtogroup ia32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ia32_AS_H__ |
#define __ia32_AS_H__ |
#ifndef KERN_ia32_AS_H_ |
#define KERN_ia32_AS_H_ |
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
50,6 → 50,5 |
#endif |
/** @} |
/** @} |
*/ |