ST1.5 board support and some ST1.0/1.5 common changes.

drivers/serial/arm_dcc.c

 /*
  * Copyright (C) 2004-2007 ARM Limited.
  * Copyright (C) 2008 Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
+ * Copyright (c) 2010, Code Aurora Forum. All rights reserved.
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License version 2
  * as published by the Free Software Foundation.
  *
  * This program is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  *
  * As a special exception, if other files instantiate templates or use macros
  * or inline functions from this file, or you compile this file and link it
  * with other works to produce a work based on this file, this file does not
  * by itself cause the resulting work to be covered by the GNU General Public
  * License. However the source code for this file must still be made available
  * in accordance with section (3) of the GNU General Public License.
 
  * This exception does not invalidate any other reasons why a work based on
  * this file might be covered by the GNU General Public License.
  */
 
 #include <common.h>
 #include <stdio_dev.h>
 
-#if defined(CONFIG_CPU_V6)
+#if defined(CONFIG_CPU_V6) || defined(CONFIG_CPU_V7)
 /*
  * ARMV6
  */
 #define DCC_RBIT        (1 << 30)
 #define DCC_WBIT        (1 << 29)
 
 #define write_dcc(x)    \
                 __asm__ volatile ("mcr p14, 0, %0, c0, c5, 0\n" : : "r" (x))
 
 #define read_dcc(x)     \
@@ skipping 118 matching lines @@
         arm_dcc_dev.ext = 0;    /* No extensions */
         arm_dcc_dev.flags = DEV_FLAGS_INPUT | DEV_FLAGS_OUTPUT;
         arm_dcc_dev.tstc = arm_dcc_tstc;        /* 'tstc' function */
         arm_dcc_dev.getc = arm_dcc_getc;        /* 'getc' function */
         arm_dcc_dev.putc = arm_dcc_putc;        /* 'putc' function */
         arm_dcc_dev.puts = arm_dcc_puts;        /* 'puts' function */
 
         return stdio_register(&arm_dcc_dev);
 }
 #endif