Miscellany

            rc = ioctl(fd, IOCTL_PRIVCMD_MMAPBATCH, &ioctlx);            rc = rc < 0 ? -errno : 0;            for ( i = 0; i < num; ++i )            {                switch ( pfn[i] ^ arr[i] )                {                case 0:                    err[i] = rc != -ENOENT ? rc : 0;                    continue;                default:                    err[i] = -EINVAL;                    continue;                case XEN_DOMCTL_PFINFO_PAGEDTAB:                    if ( rc != -ENOENT )                    {                        err[i] = rc ?: -EINVAL;                        continue;                    }                    rc = xc_map_foreign_batch_single(fd, dom, pfn + i,                        (unsigned long)addr + ((unsigned long)i<<XC_PAGE_SHIFT));                    if ( rc < 0 )                    {                        rc = -errno;                        break;                    }                    rc = -ENOENT;                    continue;                }                break;            }