HelenOS sources

wait_ready        264 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        266 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        327 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        329 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        368 uspace/drv/char/i8042/i8042.c 			wait_ready(i8042);
wait_ready        373 uspace/drv/char/i8042/i8042.c 		wait_ready(i8042);