ibnex_handle_reprobe_dev
static void ibnex_handle_reprobe_dev(void *arg);
if (taskq_dispatch(system_taskq, ibnex_handle_reprobe_dev,