#include <stdint.h>
#ifndef __BLUENRG1_IT_STUB_H__
#define __BLUENRG1_IT_STUB_H__
#define INVALID_VALUE 0x00000000 /* To be agreed */
#define MAGIC_RAM_LOCATION 0x20000000 /* To be agreed */
#define APP_BASE (*(uint32_t *)(MAGIC_RAM_LOCATION))
extern void set_irq_base(uint32_t base);
#endif /* __BLUENRG1_IT_STUB_H__ */

