Ctxswtch_time utility.