Symbol: nfsd4_encode_acetype4