vd4_dev           180 fs/freevxfs/vxfs_bmap.c 			       fs32_to_cpu(sbi, typ4->vd4_dev));
vd4_dev           250 fs/freevxfs/vxfs_bmap.c 			       fs32_to_cpu(sbi, typ4->vd4_dev));
vd4_dev            93 fs/freevxfs/vxfs_inode.h 	__fs32		vd4_dev;	/* Device ID */