WinStationGetDeviceId - NtDoc

#ifndef _WINSTA_H

// rev
NTSYSAPI
BOOLEAN
NTAPI
WinStationGetDeviceId(
    _In_opt_ HANDLE ServerHandle,
    _In_ ULONG SessionId,
    _Out_ PCHAR* Buffer, // CHAR DeviceId[MAX_PATH + 1];
    _In_ SIZE_T BufferLength
    );

#endif
View code on GitHub