Changeset 57ce359 in mainline for kernel/arch/ia32xen/include/mm

Timestamp:

2006-10-22T18:27:57Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

19dce27

Parents:

2191541

Message:

Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures.

Location:

kernel/arch/ia32xen/include/mm

Files:

• as.h (moved) (moved from kernel/arch/xen32/include/mm/as.h ) (2 diffs)
• asid.h (moved) (moved from kernel/arch/xen32/include/mm/asid.h ) (1 diff)
• frame.h (moved) (moved from kernel/arch/xen32/include/mm/frame.h ) (2 diffs)
• memory_init.h (moved) (moved from kernel/arch/xen32/include/mm/memory_init.h ) (1 diff)
• page.h (moved) (moved from kernel/arch/xen32/include/mm/page.h ) (2 diffs)
• tlb.h (moved) (moved from kernel/arch/xen32/include/mm/tlb.h ) (2 diffs)

kernel/arch/ia32xen/include/mm/as.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
@@ -33 +33 @@
  */
 
-#ifndef KERN_xen32_AS_H_
-#define KERN_xen32_AS_H_
+#ifndef KERN_ia32xen_AS_H_
+#define KERN_ia32xen_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH      0

kernel/arch/ia32xen/include/mm/asid.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
 /** @file
- * @ingroup xen32mm
+ * @ingroup ia32xen_mm
  */
 
 /*
- * xen32 has no hardware support for address space identifiers.
+ * ia32xen has no hardware support for address space identifiers.
  * This file is provided to do nop-implementation of mm/asid.h
  * interface.
  */
 
-#ifndef KERN_xen32_ASID_H_
-#define KERN_xen32_ASID_H_
+#ifndef KERN_ia32xen_ASID_H_
+#define KERN_ia32xen_ASID_H_
 
 typedef int asid_t;

kernel/arch/ia32xen/include/mm/frame.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
@@ -33 +33 @@
  */
 
-#ifndef KERN_xen32_FRAME_H_
-#define KERN_xen32_FRAME_H_
+#ifndef KERN_ia32xen_FRAME_H_
+#define KERN_ia32xen_FRAME_H_
 
 #define FRAME_WIDTH     12      /* 4K */

kernel/arch/ia32xen/include/mm/memory_init.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
 /** @file
- * @ingroup xen32mm
+ * @ingroup ia32xen_mm
  */
 
-#ifndef KERN_xen32_MEMORY_INIT_H_
-#define KERN_xen32_MEMORY_INIT_H_
+#ifndef KERN_ia32xen_MEMORY_INIT_H_
+#define KERN_ia32xen_MEMORY_INIT_H_
 
 #include <typedefs.h>

kernel/arch/ia32xen/include/mm/page.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
@@ -33 +33 @@
  */
 
-#ifndef KERN_xen32_PAGE_H_
-#define KERN_xen32_PAGE_H_
+#ifndef KERN_ia32xen_PAGE_H_
+#define KERN_ia32xen_PAGE_H_
 
 #include <arch/mm/frame.h>

kernel/arch/ia32xen/include/mm/tlb.h

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32mm 
+/** @addtogroup ia32xen_mm      
  * @{
  */
@@ -33 +33 @@
  */
 
-#ifndef KERN_xen32_TLB_H_
-#define KERN_xen32_TLB_H_
+#ifndef KERN_ia32xen_TLB_H_
+#define KERN_ia32xen_TLB_H_
 
 #define tlb_arch_init()