/* * 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__