_kern_port_buffer_size_etc
extern ssize_t _kern_port_buffer_size_etc(port_id port, uint32 flags,
return _kern_port_buffer_size_etc(port, 0, 0);
return _kern_port_buffer_size_etc(port, flags, timeout);