ibex_demo/include/system_defs.h

#ifndef __XILINX_IP_DEFS_H
#define __XILINX_IP_DEFS_H

#include <stdint.h>

#define __IO volatile

#define RET_OK 0
#define RET_ERR 1

typedef int sys_ret_t;

#endif