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)
commit09229f7a867df4d2c133f12a0a22e5f6e518c3da
treee89a2af8f808476e0a53ad89de29b02b7fc5d8d3
parente61f047ef656c49700ff49a4854bb2da4bec1b9d
processes: rename ps_ctx_switch to report_ctx_switch
src/processes.c