RPCB_BUF_GEQ
if (!RPCB_BUF_GEQ(rm, p, 8))
if (RPCB_BUF_GEQ(rm, p, 8) == 0)
if ((XDRALIGN(xdr) < xdr) || (RPCB_BUF_GEQ(rm, p, XDRALIGN(xdr)) == 0))
if (!RPCB_BUF_GEQ(rm, p, 20))
if (!RPCB_BUF_GEQ(rm, *p, 4))
if (l < 11 || l > 23 || !RPCB_BUF_GEQ(rm, *p, XDRALIGN(l)))
if (!RPCB_BUF_GEQ(rm, p, 4))
if (!RPCB_BUF_GEQ(rm, p, 4))
if (!RPCB_BUF_GEQ(rm, p, 4))
if (!RPCB_BUF_GEQ(rm, p, 12))
if (!RPCB_BUF_GEQ(rm, p, 4))