SHOOTDOWN_MAX
for (va = sva; va < eva; va += SHOOTDOWN_MAX * PAGE_SIZE) {
sr_arg.eva = va + SHOOTDOWN_MAX * PAGE_SIZE;