BSOD Assistance

Hello, 

I have a user who had a blue screen of death. I looked in the minidump file and am not sure what is causing the issue. Can someone please give further insight?

Microsoft (R) Windows Debugger Version 6.12.0002.633 AMD64
Copyright (c) Microsoft Corporation. All rights reserved.


Loading Dump File [C:\Users\mtan\Desktop\032114-10717-01.dmp]
Mini Kernel Dump File: Only registers and stack trace are available

Symbol search path is: SRV*c:\Symbols*http://msdl.microsoft.com/download/symbols
Executable search path is: 
Windows 7 Kernel Version 7601 (Service Pack 1) MP (4 procs) Free x64
Product: WinNt, suite: TerminalServer SingleUserTS
Built by: 7601.18247.amd64fre.win7sp1_gdr.130828-1532
Machine Name:
Kernel base = 0xfffff800`02e0f000 PsLoadedModuleList = 0xfffff800`030526d0
Debug session time: Fri Mar 21 11:33:21.038 2014 (UTC - 5:00)
System Uptime: 0 days 3:51:01.107
Loading Kernel Symbols
...............................................................
................................................................
.......................................
Loading User Symbols
Loading unloaded module list
...........
*******************************************************************************
*                                                                            *
*                        Bugcheck Analysis                                    *
*                                                                            *
*******************************************************************************

Use !analyze -v to get detailed debugging information.

BugCheck 10D, {5, 0, 1024, fffffa8009ebeaf0}

Probably caused by : Wdf01000.sys ( Wdf01000!imp_WdfSpinLockAcquire+47 )

Followup: MachineOwner
---------

1: kd> !analyze -v
*******************************************************************************
*                                                                            *
*                        Bugcheck Analysis                                    *
*                                                                            *
*******************************************************************************

WDF_VIOLATION (10d)
The Kernel-Mode Driver Framework was notified that Windows detected an error
in a framework-based driver. In general, the dump file will yield additional
information about the driver that caused this bug check.
Arguments:
Arg1: 0000000000000005, A framework object handle of the incorrect type was passed to
a framework object method.
Arg2: 0000000000000000, The handle value passed in.
Arg3: 0000000000001024, Reserved.
Arg4: fffffa8009ebeaf0, Reserved.

Debugging Details:
------------------


BUGCHECK_STR:  0x10D_5

CUSTOMER_CRASH_COUNT:  1

DEFAULT_BUCKET_ID:  VISTA_DRIVER_FAULT

PROCESS_NAME:  System

CURRENT_IRQL:  2

LAST_CONTROL_TRANSFER:  from fffff88000edb903 to fffff80002e84bc0

STACK_TEXT:  
fffff880`035b5448 fffff880`00edb903 : 00000000`0000010d 00000000`00000005 00000000`00000000 00000000`00001024 : nt!KeBugCheckEx
fffff880`035b5450 00000000`00000000 : 00000000`00000000 00000000`00000000 00000000`00000000 00000000`00000000 : Wdf01000!imp_WdfSpinLockAcquire+0x47


STACK_COMMAND:  kb

FOLLOWUP_IP: 
Wdf01000!imp_WdfSpinLockAcquire+47
fffff880`00edb903 cc              int     3

SYMBOL_STACK_INDEX:  1

SYMBOL_NAME:  Wdf01000!imp_WdfSpinLockAcquire+47

FOLLOWUP_NAME:  MachineOwner

MODULE_NAME: Wdf01000

IMAGE_NAME:  Wdf01000.sys

DEBUG_FLR_IMAGE_TIMESTAMP:  51c51641

FAILURE_BUCKET_ID:  X64_0x10D_5_Wdf01000!imp_WdfSpinLockAcquire+47

BUCKET_ID:  X64_0x10D_5_Wdf01000!imp_WdfSpinLockAcquire+47

Followup: MachineOwner