===================================================================
RCS file: /cvs/prex-old/sys/arch/arm/cats/platform.h,v
retrieving revision 1.1
retrieving revision 1.4
diff -u -r1.1 -r1.4
--- prex-old/sys/arch/arm/cats/platform.h	2008/07/18 21:21:48	1.1
+++ prex-old/sys/arch/arm/cats/platform.h	2008/07/22 15:36:08	1.4
@@ -1,4 +1,7 @@
 /*
+ * $Id: platform.h,v 1.4 2008/07/22 14:36:08 nbrk Exp $
+ */
+/*
  * Copyright (c) 2007, Kohsuke Ohtani
  * All rights reserved.
  *
@@ -27,24 +30,25 @@
  * SUCH DAMAGE.
  */
 
-#ifndef _GBA_PLATFORM_H
-#define _GBA_PLATFORM_H
+#ifndef _CATS_PLATFORM_H
+#define _CATS_PLATFORM_H
 
 /*
- * Memory location
+ * Memory locations.
  */
 
 #define PAGE_OFFSET	0x00000000
 
-#define KERNEL_BASE	0x02000000
-#define KERNEL_MAX	0x02400000
-#define USER_BASE	0x02000000
-#define USER_MAX	0x02040000
+#define KERNEL_BASE	0x00100000
+#define KERNEL_MAX	0x00400000
+#define USER_BASE	0x00400000
+#define USER_MAX	0x02000000
 
-#define BOOT_INFO	0x00200000
-#define BOOT_STACK	0x00300000
-#define INT_STACK	0x00307900
-#define SYS_STACK	0x0033ff00
+#define BOOT_INFO_SIZE	0x00000800
+#define BOOT_INFO	(0x00100000 - BOOT_INFO_SIZE)
+#define BOOT_STACK	0x00002800
+#define INT_STACK	0x00004800
+#define SYS_STACK	0x00008800
 
 #ifndef __ASSEMBLY__
 
@@ -63,9 +67,9 @@
 	(((u_long)(addr) >= USER_BASE) && ((u_long)(addr) < USER_MAX))
 
 /*
- * Interrupt
+ * Interrupt glue
  */
-#define NIRQS		14		/* number of interrupt vectors */
+#define NIRQS		32		/* number of interrupt vectors */
 
 static __inline void
 interrupt_enable(void)
@@ -135,43 +139,19 @@
 extern void clock_init(void);
 
 extern void diag_init(void);
-
-#ifdef CONFIG_DIAG_VBA
-static __inline void
-diag_print(char *buf)
-{
-
-	__asm__ __volatile__(
-		"mov r0, %0\n\t"
-		"swi 0xff0000\n\t"		/* VBA emulator call */
-		:
-		:"r" (buf)
-		:"r0");
-}
-
-#else
 extern void diag_print(char *);
-#endif
 
 static __inline void
 machine_idle(void)
 {
-
-	__asm__ __volatile__(
-		"swi 0x20000\n\t"		/* GBA BIOS call */
-		:::"r0", "r1", "r2", "r3");
 }
 
 static __inline void
 machine_reset(void)
 {
-
-	__asm__ __volatile__(
-		"swi 0\n\t"			/* GBA BIOS call */
-		:::"r0", "r1", "r2", "r3");
 }
 
 extern void machine_init(void);
 
 #endif /* !__ASSEMBLY__ */
-#endif /* !_GBA_PLATFORM_H */
+#endif /* !_CATS_PLATFORM_H */