i8042_wait_input
while (i8042_wait_input(iot,ioh,I8042_ANY_DATA))
if (i8042_wait_input(iot,ioh,I8042_ANY_DATA))
extern int i8042_wait_input(bus_space_tag_t,
if (((status) = i8042_wait_input((iot), (ioh), I8042_AUX_DATA)) != 0) \
if (((status) = i8042_wait_input((iot), (ioh), I8042_KBD_DATA)) != 0) \
if (((status) = i8042_wait_input((iot),(ioh),I8042_ANY_DATA)) != 0) \
if (((status) = i8042_wait_input((iot),(ioh),I8042_ANY_DATA)) != 0) \