3390 void sqlite3WalSavepoint(Wal *pWal, u32 *aWalData){  in sqlite3WalSavepoint()  argument
3392   aWalData[0] = pWal->hdr.mxFrame;  in sqlite3WalSavepoint()
3393   aWalData[1] = pWal->hdr.aFrameCksum[0];  in sqlite3WalSavepoint()
3394   aWalData[2] = pWal->hdr.aFrameCksum[1];  in sqlite3WalSavepoint()
3395   aWalData[3] = pWal->nCkpt;  in sqlite3WalSavepoint()
3404 int sqlite3WalSavepointUndo(Wal *pWal, u32 *aWalData){  in sqlite3WalSavepointUndo()  argument
3408   assert( aWalData[3]!=pWal->nCkpt || aWalData[0]<=pWal->hdr.mxFrame );  in sqlite3WalSavepointUndo()
3410   if( aWalData[3]!=pWal->nCkpt ){  in sqlite3WalSavepointUndo()
3415     aWalData[0] = 0;  in sqlite3WalSavepointUndo()
3416     aWalData[3] = pWal->nCkpt;  in sqlite3WalSavepointUndo()
3419   if( aWalData[0]<pWal->hdr.mxFrame ){  in sqlite3WalSavepointUndo()
3420     pWal->hdr.mxFrame = aWalData[0];  in sqlite3WalSavepointUndo()
3421     pWal->hdr.aFrameCksum[0] = aWalData[1];  in sqlite3WalSavepointUndo()
3422     pWal->hdr.aFrameCksum[1] = aWalData[2];  in sqlite3WalSavepointUndo()