Tag: fix thread_stuck_in_device_driver