2242   Bitvec *pDone,                /* Bitvec of pages already played back */  in pager_playback_one_page()  argument
2256   assert( isMainJrnl || pDone );     /* pDone always used on sub-journals */  in pager_playback_one_page()
2257   assert( isSavepnt || pDone==0 );   /* pDone never used on non-savepoint */  in pager_playback_one_page()
2293   if( pgno>(Pgno)pPager->dbSize || sqlite3BitvecTest(pDone, pgno) ){  in pager_playback_one_page()
2307   if( pDone && (rc = sqlite3BitvecSet(pDone, pgno))!=SQLITE_OK ){  in pager_playback_one_page()
3357   Bitvec *pDone = 0;       /* Bitvec to ensure pages played back only once */  in pagerPlaybackSavepoint()  local
3364     pDone = sqlite3BitvecCreate(pSavepoint->nOrig);  in pagerPlaybackSavepoint()
3365     if( !pDone ){  in pagerPlaybackSavepoint()
3399       rc = pager_playback_one_page(pPager, &pPager->journalOff, pDone, 1, 1);  in pagerPlaybackSavepoint()
3429       rc = pager_playback_one_page(pPager, &pPager->journalOff, pDone, 1, 1);  in pagerPlaybackSavepoint()
3448       rc = pager_playback_one_page(pPager, &offset, pDone, 0, 1);  in pagerPlaybackSavepoint()
3453   sqlite3BitvecDestroy(pDone);  in pagerPlaybackSavepoint()