* Fill out some fields
*/
__IGNORE_WCASTALIGN(mp->mnt_data = (qaddr_t)routefs_mp_p);
- mp->mnt_vfsstat.f_fsid.val[0] = (int32_t)(uintptr_t)routefs_mp_p;
+ mp->mnt_vfsstat.f_fsid.val[0] = (int32_t)VM_KERNEL_ADDRHASH(routefs_mp_p);
mp->mnt_vfsstat.f_fsid.val[1] = vfs_typenum(mp);
mp->mnt_flag |= MNT_LOCAL;
sbp->f_bavail = 0;
sbp->f_files = 0;
sbp->f_ffree = 0;
- sbp->f_fsid.val[0] = (int32_t)(uintptr_t)routefs_mp_p;
+ sbp->f_fsid.val[0] = (int32_t)VM_KERNEL_ADDRHASH(routefs_mp_p);
sbp->f_fsid.val[1] = vfs_typenum(mp);
return 0;