CIPSO_V4_HDR_LEN
(CIPSO_V4_OPT_LEN_MAX - CIPSO_V4_HDR_LEN - CIPSO_V4_TAG_RNG_BLEN))
buf[1] = CIPSO_V4_HDR_LEN + len;
opt_iter = CIPSO_V4_HDR_LEN;
if (buf_len <= CIPSO_V4_HDR_LEN)
&buf[CIPSO_V4_HDR_LEN],
buf_len - CIPSO_V4_HDR_LEN);
&buf[CIPSO_V4_HDR_LEN],
buf_len - CIPSO_V4_HDR_LEN);
&buf[CIPSO_V4_HDR_LEN],
buf_len - CIPSO_V4_HDR_LEN);
&buf[CIPSO_V4_HDR_LEN],
buf_len - CIPSO_V4_HDR_LEN);
return CIPSO_V4_HDR_LEN + ret_val;