Add python side of things for ctxswitch-fixedtime