74 #define DBG(fmt...) udbg_printf(fmt)  macro
76 #define DBG(fmt...)  macro
258  	DBG(" -> early_setup(), dt_ptr: 0x%lx\n", dt_ptr);  in early_setup()
278 	DBG("Found, Initializing memory management...\n");  in early_setup()
300 	DBG(" <- early_setup()\n");  in early_setup()
340 	DBG(" -> smp_release_cpus()\n");  in smp_release_cpus()
360 	DBG("spinning_secondaries = %d\n", spinning_secondaries);  in smp_release_cpus()
362 	DBG(" <- smp_release_cpus()\n");  in smp_release_cpus()
378 	DBG(" -> initialize_cache_info()\n");  in initialize_cache_info()
406 				DBG("Argh, can't find dcache properties ! "  in initialize_cache_info()
428 				DBG("Argh, can't find icache properties ! "  in initialize_cache_info()
438 	DBG(" <- initialize_cache_info()\n");  in initialize_cache_info()
448 	DBG(" -> setup_system()\n");  in setup_system()
557 	DBG(" <- setup_system()\n");  in setup_system()