Lines Matching refs:debugf
96 #define debugf(fmt, args...) printf(fmt, ##args)
98 #define debugf(fmt, args...)
988 debugf("initarm: console initialized\n");
989 debugf(" arg1 kmdp = 0x%08x\n", (uint32_t)kmdp);
990 debugf(" boothowto = 0x%08x\n", boothowto);
991 debugf(" dtbp = 0x%08x\n", (uint32_t)dtbp);
1214 debugf("initarm: console initialized\n");
1215 debugf(" arg1 kmdp = 0x%08x\n", (uint32_t)kmdp);
1216 debugf(" boothowto = 0x%08x\n", boothowto);
1217 debugf(" dtbp = 0x%08x\n", (uint32_t)dtbp);
1218 debugf(" lastaddr1: 0x%08x\n", lastaddr);