rem: int	user_write_port_etc(port_id uport, int32 umsg_code, void *umsg_buffer,
add: status_t user_write_port_etc(port_id uport, int32 umsg_code, void *umsg_buffer,
context: int	user_write_port_etc(port_id uport, int32 umsg_code, void *umsg_buffer,				size_t ubuffer_size, uint32 uflags, bigtime_t utimeout){	if (umsg_buffer == NULL)		return EINVAL;	if((addr)umsg_buffer >= KERNEL_BASE && (addr)umsg_buffer <= KERNEL_TOP)		return ERR_VM_BAD_USER_MEMORY;	return write_port_etc(uport, umsg_code, umsg_buffer, ubuffer_size, 		uflags | PORT_FLAG_USE_USER_MEMCPY | B_CAN_INTERRUPT, utimeout);}