[Bugme-new] [Bug 10879] New: wbsd driver causes BUG() in tasklet_action()
bugme-daemon at bugzilla.kernel.org
bugme-daemon at bugzilla.kernel.org
Fri Jun 6 17:40:07 PDT 2008
http://bugzilla.kernel.org/show_bug.cgi?id=10879
Summary: wbsd driver causes BUG() in tasklet_action()
Product: Drivers
Version: 2.5
KernelVersion: 2.6.25.4
Platform: All
OS/Version: Linux
Tree: Mainline
Status: NEW
Severity: normal
Priority: P1
Component: MMC/SD
AssignedTo: drivers_mmc-sd at kernel-bugs.osdl.org
ReportedBy: cebbert at redhat.com
Distribution: Fedora
Hardware Environment: x86_64
Problem Description:
We hit this:
kernel/softirq.c:409:
if (!test_and_clear_bit(TASKLET_STATE_SCHED, &t->state))
BUG();
Tasklet was initialized after being scheduled, clearing the bit.
Steps to reproduce:
1. Build kernel with CONFIG_DEBUG_SHIRQ
2. Boot with an SD card inserted
--
Configure bugmail: http://bugzilla.kernel.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.
More information about the Bugme-new
mailing list