PREfast 6001 annotations: DOCERR

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

  1. Maxim S. Shatskih

    Maxim S. Shatskih Guest

    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. Maxim S. Shatskih

    Doron Holan [MSFT] Guest

    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.
Similar Threads

  1. PREfast: pragma prefast

  2. prefast/staticdv on IA64 environment, WDK 6000 , 6001 not working

  3. 3 issues: PREfast annotations in WDK 6001

  4. WDK 6001: PREfast bug

  5. Cannot /wuforce WUA to 7.2.6001.784 from version 7.2.6001.788 onWindows Server 2008

  6. PREfast annotations. Warning 28285

Loading...