Lines Matching defs:DBG
84 #define DBG(x...) kprintf(x)
86 #define DBG(x...)
355 DBG("start_cpu(%p) about to start cpu %d, lapic %d\n",
369 DBG("start_cpu(%p) about to wait for cpu %d\n",
423 DBG("intel_startCPU(%d) lapic_id=%d\n", slot_num, lapic);
424 DBG("IdlePTD(%p): 0x%x\n", &IdlePTD, (int) (uintptr_t)IdlePTD);
682 DBG("i386_signal_cpu(%d, 0x%x, SYNC) timed out\n",
857 DBG("CPU%d: %s\n", get_cpu_number(), __FUNCTION__);
865 DBG("CPU%d: %s\n", get_cpu_number(), __FUNCTION__);
977 DBG("mp_cpus_call_init()\n");
1004 DBG("mp_cpus_call_init() done on cpu %d\n", cpu_number());
1379 DBG("mp_kdp_enter()\n");
1403 DBG("mp_kdp_enter() race lost\n");
1419 DBG("mp_kdp_enter() signaling other processors\n");
1430 DBG("mp_kdp_enter() waiting for (%d) processors to suspend\n", ncpus);
1472 DBG("mp_kdp_enter() %d processors done %s\n",
1503 DBG("Invoking function %p on CPU %d\n", func, (int32_t)lcpu);
1524 DBG("mp_kdp_wait()\n");
1549 DBG("mp_kdp_wait() done\n");
1555 DBG("mp_kdp_exit()\n");
1565 DBG("mp_kdp_exit() waiting for processors to resume\n");
1582 DBG("mp_kdp_exit() done\n");
1620 DBG("slave_machine_init() CPU%d\n", get_cpu_number());