_kern_read_port_etc
extern ssize_t _kern_read_port_etc(port_id port, int32 *msgCode,
return _kern_read_port_etc(port, code, buffer, bufferSize, 0, 0);
return _kern_read_port_etc(port, code, buffer, bufferSize, flags, timeout);