From 522821bb8b8b17cdfc03766b64b99465ac6ceeb8 Mon Sep 17 00:00:00 2001 From: Pierre Schweitzer Date: Thu, 20 Jun 2019 08:56:05 +0200 Subject: [PATCH] [SDK] Add RtlInitString to the NDK --- sdk/include/ndk/rtlfuncs.h | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/sdk/include/ndk/rtlfuncs.h b/sdk/include/ndk/rtlfuncs.h index 8f5cdf07e5a..60cac48dc59 100644 --- a/sdk/include/ndk/rtlfuncs.h +++ b/sdk/include/ndk/rtlfuncs.h @@ -2201,6 +2201,22 @@ RtlHashUnicodeString( _Out_ PULONG HashValue ); +_IRQL_requires_max_(DISPATCH_LEVEL) +_At_(DestinationString->Buffer, _Post_equal_to_(SourceString)) +_When_(SourceString != NULL, +_At_(DestinationString->Length, _Post_equal_to_(_String_length_(SourceString))) +_At_(DestinationString->MaximumLength, _Post_equal_to_(DestinationString->Length + sizeof(CHAR)))) +_When_(SourceString == NULL, +_At_(DestinationString->Length, _Post_equal_to_(0)) +_At_(DestinationString->MaximumLength, _Post_equal_to_(0))) +NTSYSAPI +VOID +NTAPI +RtlInitString( + _Out_ PSTRING DestinationString, + _In_opt_z_ __drv_aliasesMem PCSTR SourceString +); + _IRQL_requires_max_(DISPATCH_LEVEL) _At_(DestinationString->Buffer, _Post_equal_to_(SourceString)) _When_(SourceString != NULL, -- 2.17.1