13   PetscCall(MatMultTranspose(corr_ctx->basis_mat, y, corr_ctx->sw[0]));  in PCBDDCNullSpaceCorrPreSolve()
15     PetscCall(MatMult(corr_ctx->inv_smat, corr_ctx->sw[0], corr_ctx->sw[1]));  in PCBDDCNullSpaceCorrPreSolve()
17     PetscCall(MatMultTranspose(corr_ctx->inv_smat, corr_ctx->sw[0], corr_ctx->sw[1]));  in PCBDDCNullSpaceCorrPreSolve()
19   PetscCall(VecScale(corr_ctx->sw[1], -1.0));  in PCBDDCNullSpaceCorrPreSolve()
20   PetscCall(MatMult(corr_ctx->basis_mat, corr_ctx->sw[1], corr_ctx->fw[0]));  in PCBDDCNullSpaceCorrPreSolve()
21   PetscCall(VecScale(corr_ctx->sw[1], -1.0));  in PCBDDCNullSpaceCorrPreSolve()
42   PetscCall(MatMultTranspose(corr_ctx->basis_mat, corr_ctx->fw[0], corr_ctx->sw[0]));  in PCBDDCNullSpaceCorrPostSolve()
43   PetscCall(VecScale(corr_ctx->sw[0], -1.0));  in PCBDDCNullSpaceCorrPostSolve()
44   PetscCall(MatMult(corr_ctx->inv_smat, corr_ctx->sw[0], corr_ctx->sw[2]));  in PCBDDCNullSpaceCorrPostSolve()
45   PetscCall(MatMultAdd(corr_ctx->basis_mat, corr_ctx->sw[2], x, corr_ctx->fw[0]));  in PCBDDCNullSpaceCorrPostSolve()
48   PetscCall(MatMultAdd(corr_ctx->basis_mat, corr_ctx->sw[1], corr_ctx->fw[0], x));  in PCBDDCNullSpaceCorrPostSolve()
58   PetscCall(VecDestroyVecs(3, &corr_ctx->sw));  in PCBDDCNullSpaceCorrDestroy()
137   PetscCall(VecDuplicateVecs(v, 3, &shell_ctx->sw));  in PCBDDCNullSpaceAssembleCorrection()
237     PetscCall(VecSetRandom(shell_ctx->sw[0], NULL));  in PCBDDCNullSpaceAssembleCorrection()
238     PetscCall(MatMult(shell_ctx->basis_mat, shell_ctx->sw[0], work1));  in PCBDDCNullSpaceAssembleCorrection()