Symbol: _kern_port_count
headers/private/system/syscalls.h
482
extern int32 _kern_port_count(port_id port);
src/system/libroot/os/port.c
72
return _kern_port_count(port);