PREfast 6001 annotations: DOCERR

Discussion in 'Windows Vista Drivers' started by Maxim S. Shatskih, Mar 8, 2008.

  1. The documentation (online MSDN library) says:

    __drv_requiresIRQL(APC_LEVEL)
    VOID
    ExReleaseFastMutex(
    __inout
    __drv_in(__drv_restoresIRQL
    __drv_releasesResource(FastMutex))
    PFAST_MUTEX FastMutex
    );

    The correct annotations for ExReleaseFastMutex from the model file are:

    __drv_requiresIRQL(APC_LEVEL)
    __drv_restoresIRQLGlobal(FastMutex, FastMutex)
    VOID
    ExReleaseFastMutex(
    __inout
    __drv_in(
    __drv_deref(__drv_releasesResource(FastMutex))))
    PFAST_MUTEX FastMutex
    );
     
    Maxim S. Shatskih, Mar 8, 2008
    #1
    1. Advertisements

  2. please use the feedback button on the page to send this correction

    d
     
    Doron Holan [MSFT], Mar 10, 2008
    #2
    1. Advertisements

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.