HelenOS sources

i8042_OUTPUT_FULL   94 uspace/drv/char/i8042/i8042.c 		.value = i8042_OUTPUT_FULL,
i8042_OUTPUT_FULL  271 uspace/drv/char/i8042/i8042.c 	while (pio_read_8(&dev->regs->status) & i8042_OUTPUT_FULL)
HelenOS homepage, sources at GitHub