Symbol: ktime_sub