Definition of TRACEHANDLE and GetTraceLoggerHandle()

True definition of TRACEHANDLE and GetTraceLoggerHandle()

1. TRACEHANDLE is defined as "typedef HANDLE TRACEHANDLE;" in ddk/winddk.h, i.e. as a pointer => 32-bit wide on x86. But it is also defined as "typedef ULONG64 TRACEHANDLE, *PTRACEHANDLE;" in psdk/evntrace.h, i.e. 64-bit wide.

Where is the truth?

2. GetTraceLoggerHandle() (in dll/win32/advapi32/misc/trace.c) returns a value of TRACEHANDLE type. It returns INVALID_HANDLE_VALUE upon a failure. (It's just a stub now and always returns INVALID_HANDLE_VALUE.) Should it be equal to 0xFFFFFFFF, or 0x00000000FFFFFFFF, or 0xFFFFFFFFFFFFFFFF?