i8042_is_polling_platform
static boolean_t i8042_is_polling_platform(void);
if ((i8042_polled_mode || i8042_is_polling_platform()) &&