include/xdk/rtlfuncs.h

332   _Inout_ _At_(UnicodeString->Buffer, __drv_freesMem(Mem))
345 _At_(DestinationString->Buffer, _Post_equal_to_(SourceString))
347 _At_(DestinationString->Length, _Post_equal_to_(_String_length_(SourceString) * sizeof(WCHAR)))
348 _At_(DestinationString->MaximumLength, _Post_equal_to_(DestinationString->Length + sizeof(WCHAR))))
350 _At_(DestinationString->Length, _Post_equal_to_(0))
351 _At_(DestinationString->MaximumLength, _Post_equal_to_(0)))
375   _Out_ _At_(GuidString->Buffer, __drv_allocatesMem(Mem))
416   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
439   _At_(Destination->Length, _Post_equal_to_(_Old_(Destination->Length) + Source->Length))
440   _At_(return, _Out_range_(==, 0)))
443   _At_(return, _Out_range_(<, 0)))
523 _At_(DestinationString->Length,
602   _Inout_ _At_(AnsiString->Buffer, __drv_freesMem(Mem))
714 _At_(BitMapHeader->SizeOfBitMap, _Post_equal_to_(SizeOfBitMap))
715 _At_(BitMapHeader->Buffer, _Post_equal_to_(BitMapBuffer))
733 _At_(String->MaximumLength, _Const_)
743 _At_(String->MaximumLength, _Const_)
793     _Inout_ _At_(*(*QueryTable).EntryContext, _Pre_unknown_)
986   _At_(DestinationString->MaximumLength,
989   _At_(DestinationString->Buffer, _Const_)
990   _At_(DestinationString->MaximumLength, _Const_))
997   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1009   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1068     _At_(lpVersionInformation->dwOSVersionInfoSize, _Pre_ _Valid_)
1070         _At_((PRTL_OSVERSIONINFOEXW)lpVersionInformation, _Out_))
1266   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1383   _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem))
1411   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1423   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1435   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1447   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1459   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1471   _When_(AllocateDestinationString, _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)))
1483   _When_(AllocateDestinationString, _Out_ _At_(UniDest->Buffer, __drv_allocatesMem(Mem)))
1494   _Inout_ _At_(OemString->Buffer, __drv_freesMem(Mem)) POEM_STRING OemString);
2236   _Out_ _At_(DestinationString->Buffer, __drv_allocatesMem(Mem)) PUNICODE_STRING DestinationString);
2969 _At_(AnsiString->Buffer, _Post_equal_to_(Buffer))
2970 _At_(AnsiString->Length, _Post_equal_to_(0))
2971 _At_(AnsiString->MaximumLength, _Post_equal_to_(BufferSize))
2984 _At_(UnicodeString->Buffer, _Post_equal_to_(Buffer))
2985 _At_(UnicodeString->Length, _Post_equal_to_(0))
2986 _At_(UnicodeString->MaximumLength, _Post_equal_to_(BufferSize))