uBlaze : Reading Registers...

Hi all.

I'm using ISE 8.1.03i EDK 8.1.02i

I have found the header file "mb_interface.h" and it seems to be perfect for my goal. I have to read internal uBlaze registers.

In the header file there are some pseudo assembler macro to do it.

For example: #define mfmsr()...

I'm not sure if to get the unsigned int value returned is enough to call a xil_printf(), like xil_printf("mfmsr=0x%x\r\n", mfmsr());. In fact I got always

Please any suggestion?

Thanks in advace.

Cheers, Alfmyk.