title: xil_printf in format %08x is printing out the value: "8x". What's goign on here?
body: <p>I'm reading out a 32 bit GPI from VHDL file, and I print it out using xil_printf with format type %08x. For some reason it is printing out 8x, when it normally should print something like 00000003 in hexadecimal format.</p>
  
  <pre><code>finishnEnd3 = (0xFFFFFFFF &amp; XIOModule_DiscreteRead(&amp;iom, 3) );
  
  xil_printf("finishnend3 : %08x ,val: %d",finishnEnd3, finishnEnd3);
  </code></pre>
  
  <p>And the output I get are: finishenend3 : 8x ,val: 101187738</p>