The text e6185ba2fd14, as Debian 7 (Wheezy) shipped it.
yield the CPU if required
console_conditional_schedule(9) on Linux now