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        369 uspace/drv/char/i8042/i8042.c 			wait_ready(i8042);
wait_ready        374 uspace/drv/char/i8042/i8042.c 		wait_ready(i8042);