Lines Matching defs:DBG
110 #define DBG(x...) kprintf(x)
112 #define DBG(x...)
244 DBG("Physical address map base: 0x%qx\n", physmap_base);
245 DBG("Physical map idlepml4[%d]: 0x%llx\n",
265 DBG("master_gdt_phys: %p\n", (void *) master_gdt_phys);
266 DBG("master_idt_phys: %p\n", (void *) master_idt_phys);
267 DBG("master_gdt_alias_phys: %p\n", (void *) master_gdt_alias_phys);
268 DBG("master_idt_alias_phys: %p\n", (void *) master_idt_alias_phys);
386 DBG("revision 0x%x\n", kernelBootArgs->Revision);
387 DBG("version 0x%x\n", kernelBootArgs->Version);
388 DBG("command line %s\n", kernelBootArgs->CommandLine);
389 DBG("memory map 0x%x\n", kernelBootArgs->MemoryMap);
390 DBG("memory map sz 0x%x\n", kernelBootArgs->MemoryMapSize);
391 DBG("kaddr 0x%x\n", kernelBootArgs->kaddr);
392 DBG("ksize 0x%x\n", kernelBootArgs->ksize);
393 DBG("physfree %p\n", physfree);
394 DBG("bootargs: %p, &ksize: %p &kaddr: %p\n",
414 DBG("i386_init(0x%lx) kernelBootArgs=%p\n",
426 DBG("CPU: %d, GSBASE initial value: 0x%llx\n", cpu, rdmsr64(MSR_IA32_GS_BASE));
449 DBG("vstart() NX/XD enabled, i386\n");
598 DBG("i386_init_slave() CPU%d: phys (%d) active.\n",