Ubuntu 12.04.4 (64位）运行过程中出现Oops：__ticket_spin_lock+0x9/0x30

[ddk3000]

$ lsb_release -a
Distributor ID: Ubuntu
Description: Ubuntu 12.04.4 LTS
Release: 12.04
Codename: precise

$ uname -r
3.11.0-15-generic

系统安装我开发的内核模块ko，然后运行，出现下面的Oops：

BUG: unable to handle kernel NULL pointer dereference at 0000000000000004
IP: [<ffffffff81050fd9>] __ticket_spin_lock+0x9/0x30
Oops: 0002 [#1] SMP

我在Ubuntu网站的bug列表中查到有类似的bug报告：

https://bugs.launchpad.net/ubuntu/+sour ... ug/1205210

BUG: unable to handle kernel NULL pointer dereference at IP: [<ffffffff81044a99>] __ticket_spin_lock+0x9/0x30

Christopher M. Penalver (penalvch) on 2013-08-25
summary: - Oops with Logitech Bluetooth keyboard; sysfs: cannot create duplicate
- filename
+ BUG: unable to handle kernel NULL pointer dereference at IP:
+ [<ffffffff81044a99>] __ticket_spin_lock+0x9/0x30

我怀疑这是该版本的Linux内核bug，但还不能确认，请各位看看是否遇到过类似问题。

[lhw828]

只有等上游修复bug了

[ddk3000]

能确认这是Linux内核bug吗？
我现在是确认不了，因为不加载我的ko文件没有问题，加载了才有问题。
但是我又找不出来我代码中有什么问题，而且最后出现问题的地方也是内核。

只有等上游修复bug了