[petsc-dev] outdated clocks?

[Barry Smith]

  Satish,

     Do we actually ever use dclock(), getclock() or read_real_time() (might be 
used on BlueGene)? Can some or all of them be removed?

   Thanks

    Barry