#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/platform_device.h>
#include <linux/io.h>
#include <linux/gpio.h>
#include <linux/usb/otg.h>
#include <linux/spi/spi.h>
#include <linux/i2c/twl.h>
#include <linux/mfd/twl6040.h>
#include <linux/gpio_keys.h>
#include <linux/regulator/machine.h>
#include <linux/regulator/fixed.h>
#include <linux/leds.h>
#include <linux/leds_pwm.h>
#include <linux/platform_data/omap4-keypad.h>
#include <asm/hardware/gic.h>
#include <asm/mach-types.h>
#include <asm/mach/arch.h>
#include <asm/mach/map.h>
#include "common.h"
#include <plat/usb.h>
#include <plat/mmc.h>
#include "omap4-keypad.h"
#include <video/omapdss.h>
#include <video/omap-panel-nokia-dsi.h>
#include <video/omap-panel-picodlp.h>
#include <linux/wl12xx.h>
#include <linux/platform_data/omap-abe-twl6040.h>
#include "soc.h"
#include "mux.h"
#include "hsmmc.h"
#include "control.h"
#include "common-board-devices.h"

Macros
#define	ETH_KS8851_IRQ 34

#define	ETH_KS8851_POWER_ON 48

#define	ETH_KS8851_QUART 138

#define	OMAP4_SFH7741_SENSOR_OUTPUT_GPIO 184

#define	OMAP4_SFH7741_ENABLE_GPIO 188

#define	HDMI_GPIO_CT_CP_HPD 60 /* HPD mode enable/disable */

#define	HDMI_GPIO_LS_OE 41 /* Level shifter for HDMI */

#define	HDMI_GPIO_HPD 63 /* Hotplug detect */

#define	DISPLAY_SEL_GPIO 59 /* LCD2/PicoDLP switch */

#define	DLP_POWER_ON_GPIO 40

#define	GPIO_WIFI_PMENA 54

#define	GPIO_WIFI_IRQ 53

#define	board_mux NULL

Variables
	atag_offset = 0x100

	smp = smp_ops(omap4_smp_ops)

	reserve = omap_reserve

	map_io = omap4_map_io

	init_early = omap4430_init_early

	init_irq = gic_init_irq

	handle_irq = gic_handle_irq

	init_machine = omap_4430sdp_init

	init_late = omap4430_init_late

	timer = &omap4_timer

	restart = omap_prcm_restart