timer: Remove timer_expired_at() function.
authorEthan Jackson <ethan@nicira.com>
Thu, 19 May 2011 00:55:25 +0000 (17:55 -0700)
committerEthan Jackson <ethan@nicira.com>
Thu, 19 May 2011 18:33:29 +0000 (11:33 -0700)
commite9e3173ffc23abe8f5a70cc4366331218ca96302
tree0aa77cfa36ab5d83f085030d810fd3dc0bf1a7b0
parentcfc693d6103e86d46706d909ced19940a8e35784
timer: Remove timer_expired_at() function.

This function has no users, and is a bit of a kludge anyway.
lib/timer.h