processes: rename ps_ctx_switch to report_ctx_switch
authorManuel Luis Sanmartín Rozada <manuel.luis@gmail.com>
Sun, 31 May 2015 18:48:27 +0000 (20:48 +0200)
committerManuel Luis Sanmartín Rozada <manuel.luis@gmail.com>
Sun, 31 May 2015 18:48:27 +0000 (20:48 +0200)

No differences found