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