这对的嘛。你那打印用的是%d啊,0x80000000就是负数 printf("0x%8.8x\n", DDR_BASE0);
这对的嘛。你那打印用的是%d啊,0x80000000就是负数
printf("0x%8.8x\n", DDR_BASE0);