void kspmonitordefault_(KSP *ksp,PetscInt *it,PetscReal *norm,void *ctx,PetscErrorCode *ierr) { *ierr = KSPMonitorDefault(*ksp,*it,*norm,ctx); }
PETSC_EXTERN void kspmonitordefault_(KSP *ksp,PetscInt *it,PetscReal *norm,PetscViewerAndFormat **ctx,PetscErrorCode *ierr) { *ierr = KSPMonitorDefault(*ksp,*it,*norm,*ctx); }