On Wed, 7 Nov 2018 17:41:31 +0800 Jeff Guo <jia....@intel.com> wrote:
> When device is hot-unplugged, the device fd will be deleted in kernel. > Then in the progress of detaching device, if it try to close the fd, > it will cause a kernel crash, which shown a kernel null pointer error. If this happens, then it is a kernel bug and the kernel should be fixed. Working around it in userspace is not a great long term solution.