READ_BUF(sizeof(nfs4_stateid)); COPYMEM(&res->u.stateid, sizeof(res->u.stateid)); 
READ_BUF(sizeof(res->u.stateid.data)); COPYMEM(res->u.stateid.data, sizeof(res->u.stateid.data)); 
static int decode_lock(struct xdr_stream *xdr, struct nfs_lockres *res){	uint32_t *p;	int status;	status = decode_op_hdr(xdr, OP_LOCK);	if (status == 0) {		READ_BUF(sizeof(nfs4_stateid));		COPYMEM(&res->u.stateid, sizeof(res->u.stateid));	} else if (status == -NFS4ERR_DENIED)		return decode_lock_denied(xdr, &res->u.denied);	return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/06735b3454824bd561decbde46111f144e905923/nfs4xdr.c/buggy/fs/nfs/nfs4xdr.c