Use <stdint.h> instead of xil_types.h