#include "dev_profile.h"
#include "irq.h"
#include "../config/app_config.h"
#include "../drivers/platform/xilinx_irq.h"

struct xil_irq_init_param xil_intc_init_param = {
	.type = IRQ_PS
};

struct irq_init_param intc_init_param = {
	.irq_ctrl_id = INTC_DEVICE_ID,
	.platform_ops = &xil_irq_ops,
	.extra = &xil_intc_init_param
};