/reactos/drivers/filesystems/cdfs/ |
H A D | filobsup.c | 37 _When_(TypeOfOpen == UnopenedFileObject, _At_(Fcb, _In_opt_)) 38 _When_(TypeOfOpen != UnopenedFileObject, _At_(Fcb, _In_)) 127 _When_(return == UnopenedFileObject, _At_(*Fcb, _Post_null_)) 128 _When_(return != UnopenedFileObject, _At_(Fcb, _Outptr_)) 129 _When_(return == UnopenedFileObject, _At_(*Ccb, _Post_null_)) 130 _When_(return != UnopenedFileObject, _At_(Ccb, _Outptr_))
|
H A D | cdprocs.h | 189 _At_(Fcb->NodeByteSize, _In_range_(>=, FIELD_OFFSET( FCB, FcbType ))) 196 _At_(Fcb->NodeByteSize, _In_range_(>=, FIELD_OFFSET( FCB, FcbType ))) 420 _At_(Dirent->CdTime, _Post_notnull_) 583 _When_(TypeOfOpen == UnopenedFileObject, _At_(Fcb, _In_opt_)) 584 _When_(TypeOfOpen != UnopenedFileObject, _At_(Fcb, _In_)) 594 _When_(return == UnopenedFileObject, _At_(*Fcb, _Post_null_)) 595 _When_(return != UnopenedFileObject, _At_(Fcb, _Outptr_)) 596 _When_(return == UnopenedFileObject, _At_(*Ccb, _Post_null_)) 597 _When_(return != UnopenedFileObject, _At_(Ccb, _Outptr_)) 1204 _When_(RaiseOnError || return, _At_(Fcb->FileLock, _Post_notnull_)) [all …]
|
H A D | allocsup.c | 627 _At_(Fcb->NodeByteSize, _In_range_(>=, FIELD_OFFSET( FCB, FcbType ))) 676 _At_(Fcb->NodeByteSize, _In_range_(>=, FIELD_OFFSET( FCB, FcbType ))) 677 _When_(Fcb->NodeTypeCode == CDFS_NTC_FCB_PATH_TABLE, _At_(Fcb->NodeByteSize, _In_range_(==, SIZEOF_… 678 _When_(Fcb->NodeTypeCode == CDFS_NTC_FCB_INDEX, _At_(Fcb->NodeByteSize, _In_range_(==, SIZEOF_FCB_I… 679 _When_(Fcb->NodeTypeCode == CDFS_NTC_FCB_DATA, _At_(Fcb->NodeByteSize, _In_range_(==, SIZEOF_FCB_DA…
|
H A D | create.c | 29 _When_(RelatedTypeOfOpen != UnopenedFileObject, _At_(RelatedCcb, _In_)) 30 _When_(RelatedTypeOfOpen == UnopenedFileObject, _At_(RelatedCcb, _In_opt_)) 31 _When_(RelatedTypeOfOpen != UnopenedFileObject, _At_(RelatedFileName, _In_)) 32 _When_(RelatedTypeOfOpen == UnopenedFileObject, _At_(RelatedFileName, _In_opt_)) 1025 _When_(RelatedTypeOfOpen != UnopenedFileObject, _At_(RelatedCcb, _In_)) 1026 _When_(RelatedTypeOfOpen == UnopenedFileObject, _At_(RelatedCcb, _In_opt_)) 1027 _When_(RelatedTypeOfOpen != UnopenedFileObject, _At_(RelatedFileName, _In_)) 1028 _When_(RelatedTypeOfOpen == UnopenedFileObject, _At_(RelatedFileName, _In_opt_))
|
/reactos/win32ss/gdi/eng/ |
H A D | float.c | 25 _At_(*pBuffer, _Kernel_requires_resource_held_(EngFloatState) in _Success_() 48 _At_(*pBuffer, _Post_valid_ _Kernel_acquires_resource_(EngFloatState))) 54 _At_(*pBuffer, _Kernel_requires_resource_not_held_(EngFloatState)) in EngSaveFloatingPointState()
|
/reactos/sdk/include/xdk/ |
H A D | rtlfuncs.h | 350 _At_(DestinationString->Length, _Post_equal_to_(0)) 440 _At_(return, _Out_range_(==, 0))) 443 _At_(return, _Out_range_(<, 0))) 523 _At_(DestinationString->Length, 733 _At_(String->MaximumLength, _Const_) 743 _At_(String->MaximumLength, _Const_) 986 _At_(DestinationString->MaximumLength, 989 _At_(DestinationString->Buffer, _Const_) 990 _At_(DestinationString->MaximumLength, _Const_)) 2970 _At_(AnsiString->Length, _Post_equal_to_(0)) [all …]
|
H A D | mmfuncs.h | 316 _At_(MemoryDescriptorList->MappedSystemVa, _Post_writable_byte_size_(MemoryDescriptorList->ByteCoun… 338 _At_(MemoryDescriptorList->StartVa + MemoryDescriptorList->ByteOffset, 661 _At_(MemoryDescriptorList->MappedSystemVa + MemoryDescriptorList->ByteOffset, 788 _At_(*BaseAddress, __drv_allocatesMem(Mem))
|
H A D | iofuncs.h | 609 _Out_ _At_(*Irql, _IRQL_saves_) PKIRQL Irql); 631 _Post_ _At_(*DriverObjectExtension, _When_(return==0, 824 _At_(*DeviceObject, 964 _When_(return==0, _At_(AliasSymbolicLinkName->Buffer, __drv_allocatesMem(Mem))) 982 _At_(*SymbolicLinkList, _When_(return==0, __drv_allocatesMem(Mem))) 997 _At_(PropertyBuffer, _Post_z_)) 999 _At_(PropertyBuffer, _Post_ _NullNull_terminated_)) 1018 …_Out_ _When_(return!=0, _Kernel_IoGetDmaAdapter_ _At_(*NumberOfMapRegisters, _Must_inspect_result_… 1138 _Out_ _When_(return==0, _At_(SymbolicLinkName->Buffer, __drv_allocatesMem(Mem))) 1155 _At_(*NotificationEntry, _When_(return==0, __drv_allocatesMem(Mem))) [all …]
|
/reactos/sdk/include/ddk/ |
H A D | wsk.h | 166 _At_(AcceptSocket, __drv_aliasesMem) typedef 178 _At_(Irp->IoStatus.Information, __drv_allocatesMem(Mem)) typedef 209 _At_(Socket, __drv_freesMem(Mem)) typedef 230 _At_(Irp->IoStatus.Information, __drv_allocatesMem(Mem)) typedef 365 _At_(Irp->IoStatus.Information, __drv_allocatesMem(Mem)) typedef 409 _At_(*Result, __drv_allocatesMem(Mem)) typedef 437 _At_(AddrInfo, __drv_freesMem(Mem)) typedef
|
H A D | kernelspecs.h | 89 … _At_(return, _IRQL_always_function_min_(DISPATCH_LEVEL) _IRQL_requires_(DISPATCH_LEVEL))
|
H A D | ndis.h | 2820 _Out_ _At_(*TimerCancelled, _Must_inspect_result_) PBOOLEAN TimerCancelled); 3792 _Out_ _At_(*PhysicalAddress, _Must_inspect_result_) 3944 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 3955 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 4413 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 4425 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 4711 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 4723 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, 5663 _Out_ _At_(*TimerCancelled, _Must_inspect_result_) PBOOLEAN TimerCancelled); 6008 _At_(*Status, _Must_inspect_result_) _Out_ PNDIS_STATUS Status, [all …]
|
/reactos/sdk/lib/ucrt/inc/ |
H A D | corecrt_internal_stdio.h | 341 _At_(_Buffer, _Pre_notnull_ _In_reads_(1)) 342 _At_(_Buffer + 1, _Pre_notnull_ _Out_writes_(1)) 343 _At_(_Buffer + 2, _Pre_notnull_ _Post_z_ _Out_writes_to_(_Buffer[0], _Buffer[1])), 359 _At_(_Buffer, _In_reads_(1)) 360 _At_(_Buffer + 1, _Out_writes_(1)) 361 _At_(_Buffer + 2, _Post_z_ _Out_writes_to_(_Buffer[0], _Buffer[1])),
|
/reactos/sdk/include/psdk/ |
H A D | specstrings.h | 421 _At_(*_Curr_, _Pre_null_ \ 429 _At_(*_Curr_, _Pre_null_ _On_failure_(_Post_null_)) 451 _At_((void*)_Curr_, _Inout_) \ 452 _At_(_Curr_, \ 456 _At_(_Old_(_Curr_), \ 462 _At_((void*)_Curr_, _Inout_) \ 463 _At_(_Curr_, \ 467 _At_(_Old_(_Curr_), \
|
H A D | winsvc.h | 414 _When_(dwInfoLevel == SERVICE_CONFIG_DESCRIPTION, _At_(cbBufSize, _In_range_(>=, sizeof(LPSERVICE_D… 415 _When_(dwInfoLevel == SERVICE_CONFIG_FAILURE_ACTIONS, _At_(cbBufSize, _In_range_(>=, sizeof(LPSERVI… 416 _When_(dwInfoLevel == SERVICE_CONFIG_REQUIRED_PRIVILEGES_INFO, _At_(cbBufSize, _In_range_(>=, sizeo… 427 _When_(dwInfoLevel == SERVICE_CONFIG_DESCRIPTION, _At_(cbBufSize, _In_range_(>=, sizeof(LPSERVICE_D… 428 _When_(dwInfoLevel == SERVICE_CONFIG_FAILURE_ACTIONS, _At_(cbBufSize, _In_range_(>=, sizeof(LPSERVI… 429 _When_(dwInfoLevel == SERVICE_CONFIG_REQUIRED_PRIVILEGES_INFO, _At_(cbBufSize, _In_range_(>=, sizeo…
|
H A D | driverspecs.h | 64 #define __drv_arg(expr,annotes) _At_(expr,annotes) 65 #define __drv_at(expr,annotes) _At_(expr,annotes) 79 #define __drv_fun(annotes) _At_(return, annotes) 131 #define __drv_ret(annotes) _At_(return,annotes)
|
/reactos/sdk/include/ndk/ |
H A D | rtlfuncs.h | 165 _At_(UnicodeString->Buffer, _Post_equal_to_(Buffer)) 166 _At_(UnicodeString->Length, _Post_equal_to_(0)) 180 _At_(AnsiString->Buffer, _Post_equal_to_(Buffer)) 181 _At_(AnsiString->Length, _Post_equal_to_(0)) 182 _At_(AnsiString->MaximumLength, _Post_equal_to_(BufferSize)) 1835 _At_(String->MaximumLength, _Const_) 2318 _At_(DestinationString->Length, _Post_equal_to_(0)) 2334 _At_(DestinationString->Length, _Post_equal_to_(0)) 2541 _Inout_ _At_(AnsiString->Buffer, __drv_freesMem(Mem)) 2571 _Inout_ _At_(OemString->Buffer, __drv_freesMem(Mem)) [all …]
|
H A D | mmfuncs.h | 90 _At_(*BaseAddress, __drv_allocatesMem(Mem)) 330 _At_(*BaseAddress, __drv_allocatesMem(Mem))
|
/reactos/sdk/include/ucrt/ |
H A D | conio.h | 430 _At_(&_Buffer[0], _In_reads_(1)) 431 _At_(&_Buffer[1], _Out_writes_(1)) 432 _At_(&_Buffer[2], _Post_z_ _Out_writes_to_(_Buffer[0], _Buffer[1]))
|
/reactos/sdk/include/xdk/amd64/ |
H A D | ke.h | 137 _At_(*FloatSave, _Kernel_requires_resource_not_held_(FloatState) _Kernel_acquires_resource_(FloatSt… in _IRQL_requires_max_() 149 _At_(*FloatSave, _Kernel_requires_resource_held_(FloatState) _Kernel_releases_resource_(FloatState))
|
/reactos/sdk/include/xdk/arm/ |
H A D | ke.h | 146 _At_(*FloatSave, _Kernel_requires_resource_not_held_(FloatState) _Kernel_acquires_resource_(FloatSt… in _IRQL_requires_max_() 158 _At_(*FloatSave, _Kernel_requires_resource_held_(FloatState) _Kernel_releases_resource_(FloatState))
|
/reactos/ntoskrnl/cache/section/ |
H A D | newmm.h | 202 _When_(return==STATUS_MORE_PROCESSING_REQUIRED, _At_(Required->DoAcquisition, _Post_notnull_)) 276 _When_(return==STATUS_MORE_PROCESSING_REQUIRED, _At_(Required->DoAcquisition, _Post_notnull_))
|
/reactos/sdk/include/xdk/x86/ |
H A D | ke.h | 156 _At_(*FloatSave, _Kernel_requires_resource_not_held_(FloatState) _Kernel_acquires_resource_(FloatSt… 165 _At_(*FloatSave, _Kernel_requires_resource_held_(FloatState) _Kernel_releases_resource_(FloatState))
|
/reactos/sdk/include/reactos/ |
H A D | dbgbitmap.h | 59 _At_(BitMapHeader->SizeOfBitMap, _Post_equal_to_(SizeOfBitMap)) 60 _At_(BitMapHeader->Buffer, _Post_equal_to_(BitMapBuffer))
|
/reactos/win32ss/user/ntuser/ |
H A D | class.h | 66 _Out_ _When_(return>=0, _At_(pustrOut->Buffer, _Post_ _Notnull_)) PUNICODE_STRING pustrOut,
|
H A D | useratom.c | 95 _At_(pustrName->Buffer, _Out_z_bytecap_post_bytecount_(pustrName->MaximumLength, return * 2 + 2))
|