Lines Matching defs:debugf
98 #define debugf(fmt, args...) printf(fmt, ##args)
100 #define debugf(fmt, args...)
1027 debugf("initarm: console initialized\n");
1028 debugf(" arg1 kmdp = 0x%08x\n", (uint32_t)kmdp);
1029 debugf(" boothowto = 0x%08x\n", boothowto);
1030 debugf(" dtbp = 0x%08x\n", (uint32_t)dtbp);
1253 debugf("initarm: console initialized\n");
1254 debugf(" arg1 kmdp = 0x%08x\n", (uint32_t)kmdp);
1255 debugf(" boothowto = 0x%08x\n", boothowto);
1256 debugf(" dtbp = 0x%08x\n", (uint32_t)dtbp);
1257 debugf(" lastaddr1: 0x%08x\n", lastaddr);