Lines Matching refs:db_printf
454 db_printf("Cpu ID: 0x%08x\n", reg);
456 db_printf("Current Cache Lvl ID: 0x%08x\n",reg);
459 db_printf("Ctrl: 0x%08x\n",reg);
461 db_printf("Aux Ctrl: 0x%08x\n",reg);
464 db_printf("Processor Feat 0: 0x%08x\n", reg);
466 db_printf("Processor Feat 1: 0x%08x\n", reg);
468 db_printf("Debug Feat 0: 0x%08x\n", reg);
470 db_printf("Auxiliary Feat 0: 0x%08x\n", reg);
472 db_printf("Memory Model Feat 0: 0x%08x\n", reg);
474 db_printf("Memory Model Feat 1: 0x%08x\n", reg);
476 db_printf("Memory Model Feat 2: 0x%08x\n", reg);
478 db_printf("Memory Model Feat 3: 0x%08x\n", reg);
481 db_printf("Aux Func Modes Ctrl 0: 0x%08x\n",reg);
483 db_printf("Aux Func Modes Ctrl 1: 0x%08x\n",reg);
486 db_printf("CPU ID code extension: 0x%08x\n",reg);
496 db_printf("Physical address reg: 0x%08x\n",reg);
498 db_printf("show vtop <virt_addr>\n");