floppy: use del_timer_sync() in init cleanup
[linux-2.6.git] / Documentation / bad_memory.txt
2008-12-03 Pavel Machek Document handling of bad memory