Printing 32bit signed long data alt_32

Hi, I'm trying to print out returned alt_32 data from functions defined in drivers via the JTAG UART in a Nios II system. Execuse me for being newbie on this, here are my code lines: alt_32 ret_cod...