HelenOS sources

wait_ready        265 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        267 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        328 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        330 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        355 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        357 uspace/drv/char/i8042/i8042.c 	wait_ready(dev);
wait_ready        382 uspace/drv/char/i8042/i8042.c 			wait_ready(i8042);
wait_ready        387 uspace/drv/char/i8042/i8042.c 		wait_ready(i8042);