xiomodule.h no existe tal archivo o directorio

Estoy trabajando con el núcleo de MircoBlaze_mcs e implemento un archivo GIO simple desde el tutorial pero da un error ("xiomodule.h" No existe ese archivo o directorio) cuando sintetizo el proyecto.

Lo encuentro en la documentación de la API en el SDK Project Explorer, en / BSP Documentación / iomodule_v1_00_a.

este es el código probado:

#include <stdio.h>
#include "platform.h"
#include "xparameters.h" // add
#include "xiomodule.h" // add
void print(char *str);
int main()
{
    init_platform();
    u32 data;
    XIOModule gpi;
    XIOModule gpo;
    print("Reading switches and writing to LED port\n\r");
    data = XIOModule_Initialize(&gpi, XPAR_IOMODULE_0_DEVICE_ID);
    data = XIOModule_Start(&gpi);
    data = XIOModule_Initialize(&gpo, XPAR_IOMODULE_0_DEVICE_ID);
    data = XIOModule_Start(&gpo);
    while (1)
    {
        data = XIOModule_DiscreteRead(&gpi, 1); // read switches (channel 1)
        XIOModule_DiscreteWrite(&gpo, 1, data); // turn on LEDs (channel 1)
    }
    cleanup_platform();

    return 0;
}