#include "hardware.h"/* GPIO	*/#define GPIO_CTL_BASE	0x56000000#define bGPIO(p, o)	CTL_REG_READ(GPIO_CTL_BASE + (p) + (o))/* offset */#define oGPIO_CON	0x0#define oGPIO_DAT	0x4#define oGPIO_UP	0x8	#define oGPIO_F		0x50/* registers */#define GPFCON		bGPIO(oGPIO_F, oGPIO_CON)#define GPFDAT		bGPIO(oGPIO_F, oGPIO_DAT)#define GPFUP		bGPIO(oGPIO_F, oGPIO_UP)