_kern_create_port
extern port_id _kern_create_port(int32 queue_length, const char *name);
return _kern_create_port(capacity, name);