HVSOCK_PKT_LEN
return (readable >= HVSOCK_PKT_LEN(0));
(uintmax_t)(HVSOCK_PKT_LEN(1) + HVSOCK_PKT_LEN(0)));
if (writeable < HVSOCK_PKT_LEN(1) + HVSOCK_PKT_LEN(0)) {
ret = writeable - HVSOCK_PKT_LEN(0) - HVSOCK_PKT_LEN(0);
HVSOCK_PKT_LEN(HVSOCK_SEND_BUF_SZ));