The text d0c9b283eb90, as Debian 7 (Wheezy) shipped it.
start a timer on a particular CPU
add_timer_on(9) on Linux now
