/* * Copyright 2008 Freescale Semiconductor, Inc. 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. */#ifndef __ASM_ARCH_MXC_BOARD_MX31PDK_H__#define __ASM_ARCH_MXC_BOARD_MX31PDK_H__/* mandatory for CONFIG_LL_DEBUG */#define MXC_LL_UART_PADDR UART1_BASE_ADDR#define MXC_LL_UART_VADDR AIPS1_IO_ADDRESS(UART1_BASE_ADDR)#endif /* __ASM_ARCH_MXC_BOARD_MX31PDK_H__ */