port_used_ports
int32 port_used_ports(void);
info->used_ports = port_used_ports();
kprintf("ports:\t\t%" B_PRId32 " (%" B_PRId32 " max)\n", port_used_ports(),