请教u-boot中的printf()打印64位整型变量

OLAY玉兰油

最近蛋疼，移植了一个u-boot，发现printf()函数的一些问题
  比如我要打印一个unsigned long long变量，也就是64位的变量，如果值是0x40000，按照0x%llx打印，实际打印出来的是0x4 0000 0000 0000，按照0x%x打印得到0x0

我的结论是：
  数据在内存中存储方式导致printf输出错误

依据：
  1.本来应该是0x40000的，实际在后面加了四个字节的0；
  2.按照32为打印得到0，只是把低4字节省略，说明数据类型转换正确

请教：
1.printf（）函数是编译器提供的还是u-boot自带的，或者它是编译器提供的，最后重定向到开发板的串口？
2.如何才能通过printf正确打印64位整型变量
    PS：请不要告诉我把数据左移，右移之类的，再按照32位数据打印（咱们都不是小孩子了，chinalinux论坛丢不起这个人）。我想找到原因，和彻底的解决办法

OLAY玉兰油

多谢楼上
我的版本是u-boot-2010.03的，应该是最新的了
这个问题出现在nand_erase_opts()函数中（实现nand flash的擦除）
printf("\rErasing at 0x%llx -- %3d%% complete.",erase.addr, percent);这句话输出了擦除的块首地址和已擦除百分比，代码执行过程中，擦除正常，打印错误
补充一下1.3.1中erase.addr是32位的，现在新版本的是64位的，在sourceinsght里看到printf()函数和u-boot-1.3.1的代码不一样
功底有限，还不能很好理解这个函数，继续求教

OLAY玉兰油

前辈啊，新版本中erase.addr中定义成了unsigned long long，确实是64位的，我使用的是u-boot-2010.3这个版本，发现打印结果出错，而看到网上有位达人移植u-boot-2009.08版本，顺便也贴了个图出来，发现此处打印也是出错。因为擦除操作能够正确执行，所以我认为是printf执行出错
  此外，我还发现
    1.如果执行printf("\rErasing at 0x%llx -- %3d%% complete.",erase.addr, percent);，erase.addr和percent都是错的；而分别打印erase.addr和percent，结果是erase.addr打印错误，percent打印正确
    2.在阅读printf代码时发现一句va_arg(args,unsigned long long)代码，由于va_arg()是gcc编译器提供的，怀疑我使用的gcc版本va_arg()进行64位操作时会出错（我的arm-linux-gcc版本是4.3.2）

  请教va_arg()系列的函数在什么地方定义