Lines Matching refs:db_printf
89 db_printf("Invalid value: %d\n", *(int*)valuep); in db_var_db_cpu()
96 db_printf("db_var_db_cpu: unknown operation\n"); in db_var_db_cpu()
115 db_printf("Read-only variable.\n"); in db_var_curcpu()
119 db_printf("db_var_curcpu: unknown operation\n"); in db_var_curcpu()
144 db_printf("db_var_db_vnet: unknown operation\n"); in db_var_db_vnet()
163 db_printf("Read-only variable.\n"); in db_var_curvnet()
167 db_printf("db_var_curvnet: unknown operation\n"); in db_var_curvnet()
451 db_printf("%+#lr", (long)off); in db_printsym()
457 db_printf("%#lr", (unsigned long)off); in db_printsym()
461 db_printf("%#lr = %s", (unsigned long)off, name); in db_printsym()
463 db_printf("%s", name); in db_printsym()
466 db_printf("+%+#lr", (long)d); in db_printsym()
469 db_printf(" [%s:%d]", filename, linenum); in db_printsym()