Lines Matching refs:db_printf
2310 db_printf("%d", bit);
2313 db_printf(",%d", bit);
2317 db_printf("<none>");
2337 db_printf("set=%p id=%-6u ref=%-6d flags=0x%04x parent id=%d\n",
2340 db_printf(" cpu mask=");
2342 db_printf("\n");
2343 db_printf(" domain policy %d prefer %d mask=",
2346 db_printf("\n");
2357 db_printf("set=%p policy %d prefer %d cnt %d\n",
2359 db_printf(" mask =");
2361 db_printf("\n");