74 #define DBG(fmt...) udbg_printf(fmt)  macro
76 #define DBG(fmt...)  macro
266  	DBG(" -> early_setup(), dt_ptr: 0x%lx\n", dt_ptr);  in early_setup()
286 	DBG("Found, Initializing memory management...\n");  in early_setup()
308 	DBG(" <- early_setup()\n");  in early_setup()
363 	DBG(" -> smp_release_cpus()\n");  in smp_release_cpus()
383 	DBG("spinning_secondaries = %d\n", spinning_secondaries);  in smp_release_cpus()
385 	DBG(" <- smp_release_cpus()\n");  in smp_release_cpus()
401 	DBG(" -> initialize_cache_info()\n");  in initialize_cache_info()
429 				DBG("Argh, can't find dcache properties ! "  in initialize_cache_info()
451 				DBG("Argh, can't find icache properties ! "  in initialize_cache_info()
461 	DBG(" <- initialize_cache_info()\n");  in initialize_cache_info()
471 	DBG(" -> setup_system()\n");  in setup_system()
581 	DBG(" <- setup_system()\n");  in setup_system()