idgen32
u_int32_t idgen32(struct idgen32_ctx *);
return idgen32(&ip6_id_ctx);
return idgen32(&krpc_xid_ctx);
return (txdr_unsigned(idgen32(&nfs_xid_ctx)));