#include
#include "platform.h"
#include "xparameters.h"
#include "xgpio.h"
#include "xil_io.h"
#include "mb_interface.h"
#include "xtmrctr.h"
#include "xintc.h"
#define BTN_BASEADDR XPAR_AXI_GPIO_2_BASEADDR
#define BTN_DEVICE_ID XPAR_AXI_GPIO_2_DEVICE_ID
#define BTN_IRTP_ID
XPAR_AXI_INTC_0_AXI_GPIO_2_IP2INTC_IRPT_INTR
#define SW_BASEADDR XPAR_AXI_GPIO_1_BASEADDR
#define SW_DEVICE_ID XPAR_AXI_GPIO_1_DEVICE_ID
#define SW_IRTP_ID
XPAR_AXI_INTC_0_AXI_GPIO_1_IP2INTC_IRPT_INTR
#define TIMER_BASEADDR XPAR_AXI_TIMER_0_BASEADDR
#define TIMER_DEVICE_ID XPAR_AXI_TIMER_0_DEVICE_ID
#define TIMER_IRTP_ID
XPAR_AXI_INTC_0_AXI_TIMER_0_INTERRUPT_INTR
#define INTC_DEVICE_ID XPAR_AXI_INTC_0_DEVICE_ID
XGpio btn;
XGpio sw;
XTmrCtr timer;
XIntc intCtrl;
XGpio led;
char str[100];
void print(char *str);
void PushButtonHandle(void *pshButton);
void SwitchHandle(void *sw);
void TimerHandle(void *timer);
static int i = 0;
unsigned int flag = 0 ;
void test_pwm();
void delay(int t);
int main()
{
init_platform();
xil_printf("Hello World\n");
// test_pwm();
XGpio_Initialize(&btn,
BTN_DEVICE_ID);
XGpio_Initialize(&