154 		db_printf("frame address must be specified\n");  in db_show_frame_cmd()
160 	db_printf("frame address = %08x  ", (u_int)frame);  in db_show_frame_cmd()
161 	db_printf("spsr=%08x\n", frame->tf_spsr);  in db_show_frame_cmd()
162 	db_printf("r0 =%08x r1 =%08x r2 =%08x r3 =%08x\n",  in db_show_frame_cmd()
164 	db_printf("r4 =%08x r5 =%08x r6 =%08x r7 =%08x\n",  in db_show_frame_cmd()
166 	db_printf("r8 =%08x r9 =%08x r10=%08x r11=%08x\n",  in db_show_frame_cmd()
168 	db_printf("r12=%08x r13=%08x r14=%08x r15=%08x\n",  in db_show_frame_cmd()
170 	db_printf("slr=%08x ssp=%08x\n", frame->tf_svc_lr, frame->tf_svc_sp);  in db_show_frame_cmd()
204 	db_printf("DFAR=%#x DFSR=%#x IFAR=%#x IFSR=%#x\n",  in db_show_fault_cmd()
207 	db_printf("CONTEXTIDR=%#x TTBCR=%#x TTBR=%#x\n",  in db_show_fault_cmd()
216 		db_printf("cpu_reset_address is not set\n");  in db_reset_cmd()
227 	db_printf("-W/I-- ----VA---- ----PA---- --SIZE-- D AP XN ASD %s\n", str);  in tlb_print_common_header()
233 	db_printf("[%1zu:%02zx] 0x%05lx000 0x%05lx000", way, va_index, vpn, pfn);  in tlb_print_addr()
240 	db_printf(" %8s %1x %2d %s", sizestr, domain, ap, (xn_p ? "XN" : "--"));  in tlb_print_size_domain_prot()
247 		db_printf(" %3d", asid);  in tlb_print_asid()
249 		db_printf(" ---");  in tlb_print_asid()
307 	db_printf(" %c  %d  %c %c\n", (s_p ? 'S' : '-'), tex,  in tlb_print_cortex_a5_entry()
370 			db_printf(" DV\n");  in tlb_print_cortex_a7_entry()
373 			db_printf(" SO\n");  in tlb_print_cortex_a7_entry()
376 			db_printf(" %02u\n", mt);  in tlb_print_cortex_a7_entry()
385 	db_printf(" %2s %5s %2s\n", is_types[is], os_types[os], sh_types[sh]);  in tlb_print_cortex_a7_entry()
415 		db_printf("not supported on this CPU\n");  in db_show_tlb_cmd()
436 		db_printf("VA %#"DDB_EXPR_FMT"x not found in TLB\n", addr);  in db_show_tlb_cmd()
460 	db_printf("%zu TLB valid entries found\n", n);  in db_show_tlb_cmd()
469 		db_printf("cpu %"DDB_EXPR_FMT"d out of range", addr);  in db_switch_cpu_cmd()
474 		db_printf("cpu %"DDB_EXPR_FMT"d does not exist", addr);  in db_switch_cpu_cmd()
498 	db_printf("cpu_info=%p, cpu_name=%s\n", kci, ci->ci_cpuname);  in show_cpuinfo()
499 	db_printf("%p cpu[%lu].ci_cpuid        = %lu\n",  in show_cpuinfo()
501 	db_printf("%p cpu[%lu].ci_curlwp       = %p\n",  in show_cpuinfo()
504 		db_printf("%p cpu[%lu].ci_softlwps[%d]  = %p\n",  in show_cpuinfo()
507 	db_printf("%p cpu[%lu].ci_lastintr     = %" PRIu64 "\n",  in show_cpuinfo()
509 	db_printf("%p cpu[%lu].ci_want_resched = %d\n",  in show_cpuinfo()
511 	db_printf("%p cpu[%lu].ci_cpl          = %d\n",  in show_cpuinfo()
513 	db_printf("%p cpu[%lu].ci_softints     = 0x%08x\n",  in show_cpuinfo()
515 	db_printf("%p cpu[%lu].ci_intr_depth   = %u\n",  in show_cpuinfo()