filll_io
filll_io(val, adp->va_window, l/sizeof(u_int32_t));
filll_io(val, adp->va_window + offset,
filll_io(val, adp->va_window, end/sizeof(u_int32_t));
static void filll_io(int val, vm_offset_t d, size_t size);