Symbol: MAX_KB8042_WAIT_MAX_MS
usr/src/uts/common/io/kb8042/kb8042.c
1373
if (ms_waited >= MAX_KB8042_WAIT_MAX_MS)
usr/src/uts/common/io/kb8042/kb8042.c
1379
drv_usectohz(MAX_KB8042_WAIT_MAX_MS * 1000);