Lines Matching refs:db_printf
77 #include <ddb/db_output.h> /* For db_printf() */
131 db_printf("All watchpoints used.\n");
163 db_printf("Already set.\n");
170 db_printf("Too many watchpoints.\n");
203 db_printf("Not set.\n");
213 db_printf("No watchpoints set\n");
217 db_printf("Space Address Size\n");
220 db_printf("kernel ");
224 db_printf("%*X", 2*sizeof(vm_offset_t), watch->task);
226 db_printf("task%-3d ", task_id);
228 db_printf(" %*X %X\n", 2*sizeof(vm_offset_t), watch->loaddr,
248 db_printf("bad task address %X\n", task);
255 db_printf("no task\n");
262 db_printf("Address %#X is not in %s space\n", addr,