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

Macros
#define	GPIO_HUB_POWER 1

#define	GPIO_HUB_NRESET 62

#define	GPIO_WIFI_PMENA 43

#define	GPIO_WIFI_IRQ 53

#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	board_mux NULL

#define	PANDA_DVI_TFP410_POWER_DOWN_GPIO 0

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 = omap4_panda_init

	init_late = omap4430_init_late

	timer = &omap4_timer

	restart = omap_prcm_restart