在xilinx SDK基于microblaze测试pcie示例程序一直不能run，简单的下面代码

printf("x=%8.8x\n", x);
xil_printf("x=%8.8x\n", x);

第一个就不能运行，第二个就可以。很奇怪。

http://www.eefocus.com/walkie/blog/09-02/165549_bf04c.html

这篇文章讲了一些区别，但没解释我看到的现象。