Lines Matching refs:db_printf
2405 db_printf("%d", bit);
2408 db_printf(",%d", bit);
2412 db_printf("<none>");
2432 db_printf("set=%p id=%-6u ref=%-6d flags=0x%04x parent id=%d\n",
2435 db_printf(" cpu mask=");
2437 db_printf("\n");
2438 db_printf(" domain policy %d prefer %d mask=",
2441 db_printf("\n");
2452 db_printf("set=%p policy %d prefer %d cnt %d\n",
2454 db_printf(" mask =");
2456 db_printf("\n");