FDBUF_HDRSIZE
fdbufsize = (int)FDBUF_HDRSIZE + (numfd * (int)sizeof (struct file *));
return ((int)FDBUF_HDRSIZE + (numfd * (int)sizeof (struct file *)));
return (t_uscalar_t)((fdbuflen - FDBUF_HDRSIZE) /
if (fdbuflen >= FDBUF_HDRSIZE &&