Package: src:linux
Version: 3.2.46-1+deb7u1
Severity: normal

I was working on some custom mutex code (implemented using futexes), and
it wasn't working, so I started it up under GDB, waited until
it died, and then tried reverse stepping back to where it did something
wrong. I then got a kernel oops.

Here's exactly what I did:
In GDB, I set up a breakpoint in the thread which dies before the
point at which it dies, `run`, `record`, `cont`, and then (after it
crashed) `reverse-next` (might have been `reverse-step`). My X11 server
then went down and dropped me back at a virtual terminal with a kernel
backtrace on it.

I know that there is a bug in the way that the code
uses futexes, but it shouldn't lead to a kernel oops... I'm attaching
both the program that causes this problem (it's compiled for amd64 with
-m32) and the kernel backtrace.

-- Package-specific info:
** Version:
Linux version 3.2.0-4-rt-amd64 (debian-kernel@lists.debian.org) (gcc version 
4.6.3 (Debian 4.6.3-14) ) #1 SMP PREEMPT RT Debian 3.2.46-1+deb7u1

** Command line:
BOOT_IMAGE=/vmlinuz-3.2.0-4-rt-amd64 
root=UUID=48656ad1-7e3b-437f-a3ef-74be4d26c33b ro quiet

** Not tainted

** Kernel log:
[    7.712779] input: PC Speaker as /devices/platform/pcspkr/input/input6
[    7.727162] ACPI: AC Adapter [ADP0] (on-line)
[    7.741896] ACPI: Battery Slot [BAT0] (battery present)
[    7.743360] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.07
[    7.743476] iTCO_wdt: Found a Cougar Point TCO device (Version=2, 
TCOBASE=0x0460)
[    7.743569] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)
[    7.781701] ACPI: resource 0000:00:1f.3 [io  0xefa0-0xefbf] conflicts with 
ACPI region SMBI [io 0xefa0-0xefaf]
[    7.781704] ACPI: If an ACPI driver is available for this device, you should 
use it instead of the native driver
[    7.981546] input: Dell WMI hotkeys as /devices/virtual/input/input7
[    8.069085] [drm] Initialized drm 1.1.0 20060810
[    8.464370] i915 0000:00:02.0: setting latency timer to 64
[    8.510530] i915 0000:00:02.0: irq 47 for MSI/MSI-X
[    8.510537] [drm] Supports vblank timestamp caching Rev 1 (10.10.2010).
[    8.510538] [drm] Driver supports precise vblank timestamp query.
[    8.510601] vgaarb: device changed decodes: 
PCI:0000:00:02.0,olddecodes=io+mem,decodes=io+mem:owns=io+mem
[    8.551386] cfg80211: Calling CRDA to update world regulatory domain
[    8.923083] [drm] Enabling RC6 states: RC6 on, RC6p off, RC6pp off
[    8.950671] psmouse serio1: synaptics: Touchpad model: 1, fw: 7.5, id: 
0x1e0b1, caps: 0xd00073/0x240000/0x8a0400
[    8.994248] input: SynPS/2 Synaptics TouchPad as 
/devices/platform/i8042/serio1/input/input8
[    9.063676] Intel(R) Wireless WiFi Link AGN driver for Linux, in-tree:
[    9.063679] Copyright(c) 2003-2011 Intel Corporation
[    9.063803] iwlwifi 0000:01:00.0: setting latency timer to 64
[    9.063848] iwlwifi 0000:01:00.0: pci_resource_len = 0x00002000
[    9.063850] iwlwifi 0000:01:00.0: pci_resource_base = ffffc90005390000
[    9.063851] iwlwifi 0000:01:00.0: HW Revision ID = 0x34
[    9.064176] iwlwifi 0000:01:00.0: irq 48 for MSI/MSI-X
[    9.064299] iwlwifi 0000:01:00.0: Detected Intel(R) Centrino(R) Wireless-N 
1030 BGN, REV=0xB0
[    9.064492] iwlwifi 0000:01:00.0: L1 Enabled; Disabling L0S
[    9.082008] iwlwifi 0000:01:00.0: device EEPROM VER=0x716, CALIB=0x6
[    9.082016] iwlwifi 0000:01:00.0: Device SKU: 0X150
[    9.082022] iwlwifi 0000:01:00.0: Valid Tx ant: 0X1, Valid Rx ant: 0X3
[    9.082061] iwlwifi 0000:01:00.0: Tunable channels: 13 802.11bg, 0 802.11a 
channels
[    9.097427] fbcon: inteldrmfb (fb0) is primary device
[    9.196474] iwlwifi 0000:01:00.0: firmware: agent loaded 
iwlwifi-6000g2b-6.ucode into memory
[    9.196487] iwlwifi 0000:01:00.0: loaded firmware version 18.168.6.1
[    9.197654] Registered led device: phy0-led
[    9.380257] Console: switching to colour frame buffer device 170x48
[    9.383441] fb0: inteldrmfb frame buffer device
[    9.383442] drm: registered panic notifier
[    9.412884] ieee80211 phy0: Selected rate control algorithm 'iwl-agn-rs'
[    9.419450] acpi device:28: registered as cooling_device4
[    9.420391] input: Video Bus as 
/devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/LNXVIDEO:00/input/input9
[    9.420618] ACPI: Video Device [GFX0] (multi-head: yes  rom: no  post: no)
[    9.420662] [drm] Initialized i915 1.6.0 20080730 for 0000:00:02.0 on minor 0
[    9.420893] snd_hda_intel 0000:00:1b.0: irq 49 for MSI/MSI-X
[    9.421051] snd_hda_intel 0000:00:1b.0: setting latency timer to 64
[    9.433461] Bluetooth: Core ver 2.16
[    9.433617] NET: Registered protocol family 31
[    9.433624] Bluetooth: HCI device and connection manager initialized
[    9.433631] Bluetooth: HCI socket layer initialized
[    9.433637] Bluetooth: L2CAP socket layer initialized
[    9.433669] Bluetooth: SCO socket layer initialized
[    9.539877] Bluetooth: Generic Bluetooth USB driver ver 0.6
[    9.540331] usbcore: registered new interface driver btusb
[    9.950271] Linux media interface: v0.10
[   10.002089] Linux video capture interface: v2.00
[   10.069757] uvcvideo: Found UVC 1.00 device Laptop_Integrated_Webcam_HD 
(1bcf:2881)
[   10.087416] input: Laptop_Integrated_Webcam_HD as 
/devices/pci0000:00/0000:00:1a.0/usb2/2-1/2-1.4/2-1.4:1.0/input/input10
[   10.087710] usbcore: registered new interface driver uvcvideo
[   10.087715] USB Video Class driver (1.1.1)
[   10.312406] cfg80211: World regulatory domain updated:
[   10.312413] cfg80211:     (start_freq - end_freq @ bandwidth), 
(max_antenna_gain, max_eirp)
[   10.312419] cfg80211:     (2402000 KHz - 2472000 KHz @ 40000 KHz), (300 mBi, 
2000 mBm)
[   10.312425] cfg80211:     (2457000 KHz - 2482000 KHz @ 20000 KHz), (300 mBi, 
2000 mBm)
[   10.312429] cfg80211:     (2474000 KHz - 2494000 KHz @ 20000 KHz), (300 mBi, 
2000 mBm)
[   10.312434] cfg80211:     (5170000 KHz - 5250000 KHz @ 40000 KHz), (300 mBi, 
2000 mBm)
[   10.312439] cfg80211:     (5735000 KHz - 5835000 KHz @ 40000 KHz), (300 mBi, 
2000 mBm)
[   10.475361] input: HDA Digital PCBeep as 
/devices/pci0000:00/0000:00:1b.0/input/input11
[   10.511371] HDMI status: Codec=3 Pin=5 Presence_Detect=0 ELD_Valid=0
[   10.511763] input: HDA Intel PCH HDMI/DP,pcm=3 as 
/devices/pci0000:00/0000:00:1b.0/sound/card0/input12
[   10.512479] input: HDA Intel PCH Mic as 
/devices/pci0000:00/0000:00:1b.0/sound/card0/input13
[   10.512751] input: HDA Intel PCH Headphone as 
/devices/pci0000:00/0000:00:1b.0/sound/card0/input14
[   13.377243] Adding 3905532k swap on /dev/sda6.  Priority:-1 extents:1 
across:3905532k 
[   13.869959] loop: module loaded
[   23.716087] fuse init (API version 7.17)
[   26.301339] input: ACPI Virtual Keyboard Device as 
/devices/virtual/input/input15
[   32.635715] Bluetooth: RFCOMM TTY layer initialized
[   32.635735] Bluetooth: RFCOMM socket layer initialized
[   32.635741] Bluetooth: RFCOMM ver 1.11
[   32.838027] Bluetooth: BNEP (Ethernet Emulation) ver 1.3
[   32.838030] Bluetooth: BNEP filters: protocol multicast
[   37.829673] iwlwifi 0000:01:00.0: L1 Enabled; Disabling L0S
[   37.836538] iwlwifi 0000:01:00.0: Radio type=0x2-0x2-0x1
[   37.932663] iwlwifi 0000:01:00.0: L1 Enabled; Disabling L0S
[   37.939537] iwlwifi 0000:01:00.0: Radio type=0x2-0x2-0x1
[   38.036015] ADDRCONF(NETDEV_UP): wlan0: link is not ready
[   38.839748] r8169 0000:03:00.0: firmware: agent loaded rtl_nic/rtl8105e-1.fw 
into memory
[   39.027333] r8169 0000:03:00.0: eth0: link down
[   39.027402] r8169 0000:03:00.0: eth0: link down
[   39.028172] ADDRCONF(NETDEV_UP): eth0: link is not ready
[   40.686929] r8169 0000:03:00.0: eth0: link up
[   40.687577] ADDRCONF(NETDEV_CHANGE): eth0: link becomes ready
[   76.595196] wlan0: authenticate with 00:18:e7:f3:81:0e (try 1)
[   76.597776] wlan0: authenticated
[   76.609783] wlan0: associate with 00:18:e7:f3:81:0e (try 1)
[   76.614307] wlan0: RX AssocResp from 00:18:e7:f3:81:0e (capab=0x31 status=0 
aid=4)
[   76.614310] wlan0: associated
[   76.627738] ADDRCONF(NETDEV_CHANGE): wlan0: link becomes ready
[   95.282074] iwlwifi 0000:01:00.0: Tx aggregation enabled on ra = 
00:18:e7:f3:81:0e tid = 0
[  102.552016] iwlwifi 0000:01:00.0: Tx aggregation enabled on ra = 
00:18:e7:f3:81:0e tid = 6

** Model information
sys_vendor: Dell Inc.         
product_name: Dell System Inspiron N4110
product_version: 
chassis_vendor: Dell Inc.         
chassis_version: 0.1
bios_vendor: Dell Inc.         
bios_version: A04
board_vendor: Dell Inc.
board_name: 05TM8C
board_version: A00

** Loaded modules:
aes_x86_64
aes_generic
bnep
rfcomm
cpufreq_stats
cpufreq_userspace
cpufreq_conservative
cpufreq_powersave
binfmt_misc
uinput
fuse
ext2
mbcache
loop
kvm_intel
kvm
snd_hda_codec_hdmi
snd_hda_codec_realtek
uvcvideo
videodev
v4l2_compat_ioctl32
media
btusb
bluetooth
arc4
crc16
coretemp
joydev
iwlwifi
crc32c_intel
ghash_clmulni_intel
mac80211
cfg80211
snd_hda_intel
snd_hda_codec
snd_hwdep
snd_pcm
snd_page_alloc
i915
snd_seq
snd_seq_device
snd_timer
snd
dell_laptop
acpi_cpufreq
psmouse
soundcore
cryptd
drm_kms_helper
drm
rfkill
dell_wmi
i2c_algo_bit
sparse_keymap
evdev
mperf
i2c_i801
serio_raw
iTCO_wdt
pcspkr
video
iTCO_vendor_support
i2c_core
battery
dcdbas
ac
processor
power_supply
wmi
button
xfs
dm_mod
sg
ums_realtek
usb_storage
sr_mod
sd_mod
cdrom
crc_t10dif
usbhid
hid
ahci
thermal
libahci
thermal_sys
libata
ehci_hcd
xhci_hcd
r8169
scsi_mod
mii
usbcore
usb_common

** PCI devices:
00:00.0 Host bridge [0600]: Intel Corporation 2nd Generation Core Processor 
Family DRAM Controller [8086:0104] (rev 09)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort+ >SERR- <PERR- INTx-
        Latency: 0
        Capabilities: <access denied>
        Kernel driver in use: agpgart-intel

00:02.0 VGA compatible controller [0300]: Intel Corporation 2nd Generation Core 
Processor Family Integrated Graphics Controller [8086:0116] (rev 09) (prog-if 
00 [VGA controller])
        Subsystem: Dell Device [1028:04d7]
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx+
        Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Interrupt: pin A routed to IRQ 47
        Region 0: Memory at d0000000 (64-bit, non-prefetchable) [size=4M]
        Region 2: Memory at c0000000 (64-bit, prefetchable) [size=256M]
        Region 4: I/O ports at 4000 [size=64]
        Expansion ROM at <unassigned> [disabled]
        Capabilities: <access denied>
        Kernel driver in use: i915

00:16.0 Communication controller [0780]: Intel Corporation 6 Series/C200 Series 
Chipset Family MEI Controller #1 [8086:1c3a] (rev 04)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Interrupt: pin A routed to IRQ 11
        Region 0: Memory at d1705000 (64-bit, non-prefetchable) [size=16]
        Capabilities: <access denied>

00:1a.0 USB controller [0c03]: Intel Corporation 6 Series/C200 Series Chipset 
Family USB Enhanced Host Controller #2 [8086:1c2d] (rev 05) (prog-if 20 [EHCI])
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- 
<TAbort- <MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Interrupt: pin A routed to IRQ 16
        Region 0: Memory at d170a000 (32-bit, non-prefetchable) [size=1K]
        Capabilities: <access denied>
        Kernel driver in use: ehci_hcd

00:1b.0 Audio device [0403]: Intel Corporation 6 Series/C200 Series Chipset 
Family High Definition Audio Controller [8086:1c20] (rev 05)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx+
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Interrupt: pin A routed to IRQ 49
        Region 0: Memory at d1700000 (64-bit, non-prefetchable) [size=16K]
        Capabilities: <access denied>
        Kernel driver in use: snd_hda_intel

00:1c.0 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset 
Family PCI Express Root Port 1 [8086:1c10] (rev b5) (prog-if 00 [Normal decode])
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Bus: primary=00, secondary=01, subordinate=01, sec-latency=0
        Memory behind bridge: d1600000-d16fffff
        Secondary status: 66MHz- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort+ <SERR- <PERR-
        BridgeCtl: Parity- SERR- NoISA- VGA- MAbort- >Reset- FastB2B-
                PriDiscTmr- SecDiscTmr- DiscTmrStat- DiscTmrSERREn-
        Capabilities: <access denied>
        Kernel driver in use: pcieport

00:1c.2 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset 
Family PCI Express Root Port 3 [8086:1c14] (rev b5) (prog-if 00 [Normal decode])
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Bus: primary=00, secondary=02, subordinate=02, sec-latency=0
        Memory behind bridge: d1500000-d15fffff
        Secondary status: 66MHz- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort+ <SERR- <PERR-
        BridgeCtl: Parity- SERR- NoISA- VGA- MAbort- >Reset- FastB2B-
                PriDiscTmr- SecDiscTmr- DiscTmrStat- DiscTmrSERREn-
        Capabilities: <access denied>
        Kernel driver in use: pcieport

00:1c.4 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset 
Family PCI Express Root Port 5 [8086:1c18] (rev b5) (prog-if 00 [Normal decode])
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Bus: primary=00, secondary=03, subordinate=03, sec-latency=0
        I/O behind bridge: 00003000-00003fff
        Prefetchable memory behind bridge: 00000000d0400000-00000000d04fffff
        Secondary status: 66MHz- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- <SERR- <PERR-
        BridgeCtl: Parity- SERR- NoISA- VGA- MAbort- >Reset- FastB2B-
                PriDiscTmr- SecDiscTmr- DiscTmrStat- DiscTmrSERREn-
        Capabilities: <access denied>
        Kernel driver in use: pcieport

00:1c.5 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset 
Family PCI Express Root Port 6 [8086:1c1a] (rev b5) (prog-if 00 [Normal decode])
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Bus: primary=00, secondary=04, subordinate=08, sec-latency=0
        I/O behind bridge: 00002000-00002fff
        Memory behind bridge: d0d00000-d14fffff
        Prefetchable memory behind bridge: 00000000d0500000-00000000d0cfffff
        Secondary status: 66MHz- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- <SERR- <PERR-
        BridgeCtl: Parity- SERR- NoISA- VGA- MAbort- >Reset- FastB2B-
                PriDiscTmr- SecDiscTmr- DiscTmrStat- DiscTmrSERREn-
        Capabilities: <access denied>
        Kernel driver in use: pcieport

00:1d.0 USB controller [0c03]: Intel Corporation 6 Series/C200 Series Chipset 
Family USB Enhanced Host Controller #1 [8086:1c26] (rev 05) (prog-if 20 [EHCI])
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- 
<TAbort- <MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Interrupt: pin A routed to IRQ 23
        Region 0: Memory at d1709000 (32-bit, non-prefetchable) [size=1K]
        Capabilities: <access denied>
        Kernel driver in use: ehci_hcd

00:1f.0 ISA bridge [0601]: Intel Corporation HM67 Express Chipset Family LPC 
Controller [8086:1c4b] (rev 05)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=medium >TAbort- 
<TAbort- <MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Capabilities: <access denied>

00:1f.2 SATA controller [0106]: Intel Corporation 6 Series/C200 Series Chipset 
Family 6 port SATA AHCI Controller [8086:1c03] (rev 05) (prog-if 01 [AHCI 1.0])
        Subsystem: Dell Device [1028:04d7]
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx+
        Status: Cap+ 66MHz+ UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- 
<TAbort- <MAbort- >SERR- <PERR- INTx-
        Latency: 0
        Interrupt: pin B routed to IRQ 46
        Region 0: I/O ports at 4088 [size=8]
        Region 1: I/O ports at 4094 [size=4]
        Region 2: I/O ports at 4080 [size=8]
        Region 3: I/O ports at 4090 [size=4]
        Region 4: I/O ports at 4060 [size=32]
        Region 5: Memory at d1708000 (32-bit, non-prefetchable) [size=2K]
        Capabilities: <access denied>
        Kernel driver in use: ahci

00:1f.3 SMBus [0c05]: Intel Corporation 6 Series/C200 Series Chipset Family 
SMBus Controller [8086:1c22] (rev 05)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O+ Mem+ BusMaster- SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap- 66MHz- UDF- FastB2B+ ParErr- DEVSEL=medium >TAbort- 
<TAbort- <MAbort- >SERR- <PERR- INTx-
        Interrupt: pin C routed to IRQ 18
        Region 0: Memory at d1704000 (64-bit, non-prefetchable) [size=256]
        Region 4: I/O ports at efa0 [size=32]

01:00.0 Network controller [0280]: Intel Corporation Centrino Wireless-N 1030 
[Rainbow Peak] [8086:008a] (rev 34)
        Subsystem: Intel Corporation Centrino Wireless-N 1030 BGN [8086:5325]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx-
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Interrupt: pin A routed to IRQ 48
        Region 0: Memory at d1600000 (64-bit, non-prefetchable) [size=8K]
        Capabilities: <access denied>
        Kernel driver in use: iwlwifi

02:00.0 USB controller [0c03]: NEC Corporation uPD720200 USB 3.0 Host 
Controller [1033:0194] (rev 04) (prog-if 30 [XHCI])
        Subsystem: Dell Device [1028:04d7]
        Control: I/O- Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx+
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Interrupt: pin A routed to IRQ 18
        Region 0: Memory at d1500000 (64-bit, non-prefetchable) [size=8K]
        Capabilities: <access denied>
        Kernel driver in use: xhci_hcd

03:00.0 Ethernet controller [0200]: Realtek Semiconductor Co., Ltd. 
RTL8101E/RTL8102E PCI Express Fast Ethernet controller [10ec:8136] (rev 05)
        Subsystem: Dell Device [1028:04d7]
        Control: I/O+ Mem+ BusMaster+ SpecCycle- MemWINV- VGASnoop- ParErr- 
Stepping- SERR- FastB2B- DisINTx+
        Status: Cap+ 66MHz- UDF- FastB2B- ParErr- DEVSEL=fast >TAbort- <TAbort- 
<MAbort- >SERR- <PERR- INTx-
        Latency: 0, Cache Line Size: 64 bytes
        Interrupt: pin A routed to IRQ 40
        Region 0: I/O ports at 3000 [size=256]
        Region 2: Memory at d0404000 (64-bit, prefetchable) [size=4K]
        Region 4: Memory at d0400000 (64-bit, prefetchable) [size=16K]
        Capabilities: <access denied>
        Kernel driver in use: r8169


** USB devices:
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 003 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 002 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 004 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 001 Device 002: ID 046d:c063 Logitech, Inc. DELL Laser Mouse
Bus 002 Device 002: ID 8087:0024 Intel Corp. Integrated Rate Matching Hub
Bus 004 Device 002: ID 8087:0024 Intel Corp. Integrated Rate Matching Hub
Bus 002 Device 004: ID 1bcf:2881 Sunplus Innovation Technology Inc. 
Bus 004 Device 003: ID 8086:0189 Intel Corp. 


-- System Information:
Debian Release: 7.1
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-4-rt-amd64 (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash

Versions of packages linux-image-3.2.0-4-rt-amd64 depends on:
ii  debconf [debconf-2.0]                   1.5.49
ii  initramfs-tools [linux-initramfs-tool]  0.109.1
ii  kmod                                    9-3
ii  linux-base                              3.5
ii  module-init-tools                       9-3

Versions of packages linux-image-3.2.0-4-rt-amd64 recommends:
ii  firmware-linux-free  3.2

Versions of packages linux-image-3.2.0-4-rt-amd64 suggests:
pn  debian-kernel-handbook  <none>
ii  grub-pc                 1.99-27+deb7u1
pn  linux-doc-3.2           <none>

Versions of packages linux-image-3.2.0-4-rt-amd64 is related to:
pn  firmware-atheros        <none>
pn  firmware-bnx2           <none>
pn  firmware-bnx2x          <none>
pn  firmware-brcm80211      <none>
pn  firmware-intelwimax     <none>
pn  firmware-ipw2x00        <none>
pn  firmware-ivtv           <none>
ii  firmware-iwlwifi        0.36+wheezy.1
pn  firmware-libertas       <none>
pn  firmware-linux          <none>
pn  firmware-linux-nonfree  <none>
pn  firmware-myricom        <none>
pn  firmware-netxen         <none>
pn  firmware-qlogic         <none>
pn  firmware-ralink         <none>
ii  firmware-realtek        0.36+wheezy.1
pn  xen-hypervisor          <none>

-- debconf information:
  linux-image-3.2.0-4-rt-amd64/postinst/depmod-error-initrd-3.2.0-4-rt-amd64: 
false
  linux-image-3.2.0-4-rt-amd64/prerm/removing-running-kernel-3.2.0-4-rt-amd64: 
true
  linux-image-3.2.0-4-rt-amd64/postinst/missing-firmware-3.2.0-4-rt-amd64:
  linux-image-3.2.0-4-rt-amd64/postinst/ignoring-ramdisk:


-- 
To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/20130917061329.4872.51468.reportbug@dell-inspiron-linux.dlinkrouter

Reply via email to