vnode_pager_haspage() could return TRUE but leave *before and *after