The text 615b2a71bce2, as Debian 5.0 (Lenny) shipped it.
add two ktime_t variables
ktime_add(9) on Linux now