[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