clear_xarray
clear_xarray(&pages->pinned_pfns, span.start_used,
clear_xarray(xa, start_index, xas.xa_index - 1);