http://blogs.msdn.com/staticdrivertools/archive/2009/06/12/example-of-how-the-annotations-in-wdm-h-and-oacr-catch-a-bug-on-the-developer-desktop-pfd-sdv-clean-2-of-6.aspxSuppose you have code that acquires a spinlock and then attempts to wait before releasing that spinlock without specifying a timeout value: NTSTATUS MyDPCRoutineRunningAtDispatchLevel() { // A whole bunch of code KeAcquireSpinLock(&myLock, &oldIrql);en-USCommunityServer 2.1 SP1 (Build: 61025.2)