HVPIPE_HDR_LEN
if ((size > (HVPIPE_HDR_LEN + HVPIPE_MAX_WRITE_BUFFER_SIZE)) ||
(size <= HVPIPE_HDR_LEN))
size -= HVPIPE_HDR_LEN;
buf += HVPIPE_HDR_LEN;
ret = size + HVPIPE_HDR_LEN;
if ((size > (HVPIPE_HDR_LEN + HVPIPE_MAX_WRITE_BUFFER_SIZE)) ||
(size < HVPIPE_HDR_LEN))
ret = copy_to_user(buf, &hdr, HVPIPE_HDR_LEN);
ret = hvpipe_rtas_recv_msg(buf + HVPIPE_HDR_LEN,
size - HVPIPE_HDR_LEN);
ret += HVPIPE_HDR_LEN;
ret = HVPIPE_HDR_LEN;