hammer_generate_redo_sync
void hammer_generate_redo_sync(hammer_transaction_t trans);
hammer_generate_redo_sync(trans);