Problem conversion 'unsigned char' to 'alt_u32'

Hello I try to follow 'Using Triple-Speed Ethernet on DE2-115 Boards'. But i encounters error in compiling C file like below 'cannot convert 'unsigned char*' to 'alt_u32* {aka long un...