/* This function returns a 32-bit inode number if the boot parameter nfs.enable_ino64 is zero.  */
u64 nfs_compat_user_ino64(u64 fileid)
/* This function returns a 32-bit inode number if the boot parameter nfs.enable_ino64 is zero.  */
u64 nfs_compat_user_ino64(u64 fileid)
{
	int ino;
	if (enable_ino64)
		return fileid;
	ino = fileid;
	if (sizeof(ino) < sizeof(fileid))
		ino ^= fileid >> (sizeof(fileid)-sizeof(ino)) * 8;
	return ino;
}