Changeset 57ce359 in mainline for kernel/arch/ia32xen/src/smp/ipi.c

Timestamp:

2006-10-22T18:27:57Z (18 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/src/smp/ipi.c (moved) (moved from kernel/arch/xen32/src/smp/ipi.c ) (1 diff)

kernel/arch/ia32xen/src/smp/ipi.c

@@ -27 +27 @@
  */
 
-/** @addtogroup xen32   
+/** @addtogroup ia32xen 
  * @{
  */