Lines Matching refs:B_PRId32
56 kprintf("cpu count: %" B_PRId32 "\n", smp_get_num_cpus());
59 kprintf(" [%" B_PRId32 "] active time: %10" B_PRId64 ", interrupt"
67 kprintf("sems:\t\t%" B_PRId32 " (%" B_PRId32 " max)\n", sem_used_sems(),
69 kprintf("ports:\t\t%" B_PRId32 " (%" B_PRId32 " max)\n", port_used_ports(),
71 kprintf("threads:\t%" B_PRId32 " (%" B_PRId32 " max)\n",
73 kprintf("teams:\t\t%" B_PRId32 " (%" B_PRId32 " max)\n", team_used_teams(),