Which field of the IRP contains the kernel address?
How many threads does the semaphore currently have waiting?
So which of the following tools should be used?
Of the following WinDbg commands, which one should be used?