MAX_PTE_PER_SDI
chunk = min(size, MAX_PTE_PER_SDI);
MAX_PTE_PER_SDI);
batch_size += 6 * (num_updates / MAX_PTE_PER_SDI + 1) +
u32 chunk = min(MAX_PTE_PER_SDI, ptes);
num_dword = (1 + 2) * DIV_U64_ROUND_UP(entries, MAX_PTE_PER_SDI);
u32 chunk = min(MAX_PTE_PER_SDI, ptes);
cmds += 3 * DIV_ROUND_UP(num_4k_pages, MAX_PTE_PER_SDI);
u32 chunk = min(MAX_PTE_PER_SDI, ptes);