[DDK/XDK]

- Fix some annotations in wdm.h

[PSDK]
- Fix some annotations in winddi.h
- Add annotations to ntgdi.h (incomplete)

svn path=/trunk/; revision=57004
This commit is contained in:
Timo Kreuzer 2012-07-31 18:20:09 +00:00
parent 573f94870e
commit c3ccdfbde9
4 changed files with 979 additions and 1174 deletions

View file

@ -10102,7 +10102,7 @@ NTKERNELAPI
VOID
NTAPI
ProbeForWrite(
__in_data_source(USER_MODE) _Inout_updates_bytes_(Length) PVOID Address,
__in_data_source(USER_MODE) _Out_writes_bytes_(Length) PVOID Address,
_In_ SIZE_T Length,
_In_ ULONG Alignment);
@ -10504,8 +10504,8 @@ KeSynchronizeExecution(
_In_opt_ __drv_aliasesMem PVOID SynchronizeContext);
_IRQL_requires_min_(PASSIVE_LEVEL)
_When_((Timeout==NULL || *Timeout!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && *Timeout==0), _IRQL_requires_max_(DISPATCH_LEVEL))
_When_((Timeout==NULL || Timeout->QuadPart!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && Timeout->QuadPart==0), _IRQL_requires_max_(DISPATCH_LEVEL))
NTKERNELAPI
NTSTATUS
NTAPI
@ -10522,8 +10522,8 @@ KeWaitForMultipleObjects(
#define KeWaitForMutexObject KeWaitForSingleObject
_IRQL_requires_min_(PASSIVE_LEVEL)
_When_((Timeout==NULL || *Timeout!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && *Timeout==0), _IRQL_requires_max_(DISPATCH_LEVEL))
_When_((Timeout==NULL || Timeout->QuadPart!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && Timeout->QuadPart==0), _IRQL_requires_max_(DISPATCH_LEVEL))
NTKERNELAPI
NTSTATUS
NTAPI

File diff suppressed because it is too large Load diff

View file

@ -1324,16 +1324,16 @@ WIN32KAPI
BOOL
APIENTRY
EngBitBlt(
_Inout_ SURFOBJ *psoTrg,
_In_ SURFOBJ *psoTrg,
_In_opt_ SURFOBJ *psoSrc,
_In_opt_ SURFOBJ *psoMask,
_In_opt_ CLIPOBJ *pco,
_In_opt_ XLATEOBJ *pxlo,
_In_ RECTL *prclTrg,
_When_(psoSrc, _In_) POINTL *pptlSrc,
_When_(psoMask, _In_) POINTL *pptlMask,
_In_opt_ POINTL *pptlSrc,
_In_opt_ POINTL *pptlMask,
_In_opt_ BRUSHOBJ *pbo,
_When_(pbo, _In_) POINTL *pptlBrush,
_In_opt_ POINTL *pptlBrush,
_In_ ROP4 rop4);
WIN32KAPI
@ -1420,11 +1420,13 @@ EngCreateDriverObj(
_In_opt_ FREEOBJPROC pFreeObjProc,
_In_ HDEV hdev);
_Must_inspect_result_
_Success_(return != FALSE)
WIN32KAPI
BOOL
APIENTRY
EngCreateEvent(
_Deref_out_opt_ PEVENT *ppEvent);
_When_(return != FALSE, _Outptr_) PEVENT *ppEvent);
/* EngCreatePalette.iMode constants */
#define PAL_INDEXED 0x00000001
@ -2126,7 +2128,7 @@ BOOL
APIENTRY
EngQuerySystemAttribute(
_In_ ENG_SYSTEM_ATTRIBUTE CapNum,
_Out_ PDWORD pCapability);
_When_(return != FALSE, _Out_) PDWORD pCapability);
WIN32KAPI
LONG
@ -2150,7 +2152,7 @@ WIN32KAPI
ULONG
APIENTRY
EngSaveFloatingPointState(
_Out_ VOID *pBuffer,
_Inout_ VOID *pBuffer,
_In_ ULONG cjBufferSize);
WIN32KAPI
@ -2253,7 +2255,7 @@ EngStretchBltROP(
_In_ RECTL *prclSrc,
_When_(psoMask, _In_) POINTL *pptlMask,
_In_ ULONG iMode,
_In_ BRUSHOBJ *pbo,
_In_opt_ BRUSHOBJ *pbo,
_In_ DWORD rop4);
WIN32KAPI
@ -2594,7 +2596,7 @@ ULONG
APIENTRY
FONTOBJ_cGetAllGlyphHandles(
_In_ FONTOBJ *pfo,
_Out_opt_bytecap_(return) HGLYPH *phg);
_Out_opt_ HGLYPH *phg);
WIN32KAPI
ULONG
@ -2830,7 +2832,7 @@ WIN32KAPI
VOID
APIENTRY
STROBJ_vEnumStart(
_In_ STROBJ *pstro);
_Inout_ STROBJ *pstro);
WIN32KAPI
BOOL
@ -2955,10 +2957,10 @@ typedef BOOL
_In_ CLIPOBJ *pco,
_In_opt_ XLATEOBJ *pxlo,
_In_ RECTL *prclTrg,
_When_(psoSrc, _In_) POINTL *pptlSrc,
_When_(psoMask, _In_) POINTL *pptlMask,
_In_opt_ POINTL *pptlSrc,
_In_opt_ POINTL *pptlMask,
_In_opt_ BRUSHOBJ *pbo,
_When_(pbo, _In_) POINTL *pptlBrush,
_In_opt_ POINTL *pptlBrush,
_In_ ROP4 rop4);
typedef FN_DrvBitBlt *PFN_DrvBitBlt;
extern FN_DrvBitBlt DrvBitBlt;
@ -3007,7 +3009,7 @@ typedef LONG
_In_ DHPDEV dhpdev,
_In_ LONG iPixelFormat,
_In_ ULONG cjpfd,
_Out_ PIXELFORMATDESCRIPTOR *ppfd);
_Out_opt_ PIXELFORMATDESCRIPTOR *ppfd);
typedef FN_DrvDescribePixelFormat *PFN_DrvDescribePixelFormat;
extern FN_DrvDescribePixelFormat DrvDescribePixelFormat;

View file

@ -79,7 +79,7 @@ NTKERNELAPI
VOID
NTAPI
ProbeForWrite(
__in_data_source(USER_MODE) _Inout_updates_bytes_(Length) PVOID Address,
__in_data_source(USER_MODE) _Out_writes_bytes_(Length) PVOID Address,
_In_ SIZE_T Length,
_In_ ULONG Alignment);
@ -550,8 +550,8 @@ KeSynchronizeExecution(
_In_opt_ __drv_aliasesMem PVOID SynchronizeContext);
_IRQL_requires_min_(PASSIVE_LEVEL)
_When_((Timeout==NULL || *Timeout!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && *Timeout==0), _IRQL_requires_max_(DISPATCH_LEVEL))
_When_((Timeout==NULL || Timeout->QuadPart!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && Timeout->QuadPart==0), _IRQL_requires_max_(DISPATCH_LEVEL))
NTKERNELAPI
NTSTATUS
NTAPI
@ -568,8 +568,8 @@ KeWaitForMultipleObjects(
#define KeWaitForMutexObject KeWaitForSingleObject
_IRQL_requires_min_(PASSIVE_LEVEL)
_When_((Timeout==NULL || *Timeout!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && *Timeout==0), _IRQL_requires_max_(DISPATCH_LEVEL))
_When_((Timeout==NULL || Timeout->QuadPart!=0), _IRQL_requires_max_(APC_LEVEL))
_When_((Timeout!=NULL && Timeout->QuadPart==0), _IRQL_requires_max_(DISPATCH_LEVEL))
NTKERNELAPI
NTSTATUS
NTAPI