_In_ ULONG Top,
_In_ ULONG Width,
_In_ ULONG Height,
- _In_ PUCHAR Buffer,
+ _In_reads_bytes_(Delta * Height) PUCHAR Buffer,
_In_ ULONG BitsPerPixel,
_In_ ULONG Delta)
{
VOID
NTAPI
VidDisplayStringXY(
- _In_ PUCHAR String,
+ _In_z_ PUCHAR String,
_In_ ULONG Left,
_In_ ULONG Top,
_In_ BOOLEAN Transparent)
VOID
NTAPI
VidDisplayString(
- _In_ PUCHAR String)
+ _In_z_ PUCHAR String)
{
/* Start looping the string */
for (; *String; ++String)
VOID
NTAPI
VidBufferToScreenBlt(
- _In_ PUCHAR Buffer,
+ _In_reads_bytes_(Delta * Height) PUCHAR Buffer,
_In_ ULONG Left,
_In_ ULONG Top,
_In_ ULONG Width,