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

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.

File:

• kernel/arch/ia32xen/include/mm/asid.h (moved) (moved from kernel/arch/xen32/include/mm/asid.h ) (1 diff)

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;