From adc662b6c3743336fd4a452d79df1926369b6402 Mon Sep 17 00:00:00 2001 From: Bill Zissimopoulos Date: Sat, 28 Nov 2015 00:39:22 -0800 Subject: [PATCH] sys: static analysis fixes --- src/sys/ioq.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sys/ioq.c b/src/sys/ioq.c index 691fb066..50cae9fb 100644 --- a/src/sys/ioq.c +++ b/src/sys/ioq.c @@ -85,7 +85,7 @@ static PIRP FspIoqPendingPeekNextIrp(PIO_CSQ IoCsq, PIRP Irp, PVOID PeekContext) } _IRQL_raises_(DISPATCH_LEVEL) -static VOID FspIoqPendingAcquireLock(PIO_CSQ IoCsq, PKIRQL PIrql) +static VOID FspIoqPendingAcquireLock(PIO_CSQ IoCsq, _At_(*PIrql, _IRQL_saves_) PKIRQL PIrql) { FSP_IOQ *Ioq = CONTAINING_RECORD(IoCsq, FSP_IOQ, PendingIoCsq); KeAcquireSpinLock(&Ioq->SpinLock, PIrql); @@ -136,7 +136,7 @@ static PIRP FspIoqProcessPeekNextIrp(PIO_CSQ IoCsq, PIRP Irp, PVOID PeekContext) } _IRQL_raises_(DISPATCH_LEVEL) -static VOID FspIoqProcessAcquireLock(PIO_CSQ IoCsq, PKIRQL PIrql) +static VOID FspIoqProcessAcquireLock(PIO_CSQ IoCsq, _At_(*PIrql, _IRQL_saves_) PKIRQL PIrql) { FSP_IOQ *Ioq = CONTAINING_RECORD(IoCsq, FSP_IOQ, ProcessIoCsq); KeAcquireSpinLock(&Ioq->SpinLock, PIrql);