Searched refs:fsid64 (Results 1 – 1 of 1) sorted by relevance
1654 uint64_t fsid64 = vnode_get_va_fsid(imgp->ip_vattr); in exec_mach_imgact() local1655 fsid = (uintptr_t)fsid64; in exec_mach_imgact()1658 if (fsid != fsid64 || fileid != imgp->ip_vattr->va_fileid) { in exec_mach_imgact()