I think you're mis-reading the diff. Go look at ktime.c. The format does match the args as far as I can tell.