KeQueryPerformanceCounter(): Workaround return of GCC gint64 for W32 LARGE_INTEGER

diff --git a/include/ddk/kefuncs.h b/include/ddk/kefuncs.h
index b99a1be..7fdfbf7 100644 (file)
--- a/include/ddk/kefuncs.h
+++ b/include/ddk/kefuncs.h
@@ -183,7 +183,11 @@ NTSTATUS STDCALL KePulseEvent (PKEVENT             Event,
                               KPRIORITY        Increment,
                               BOOLEAN          Wait);
 
+#ifndef LIBCAPTIVE
 LARGE_INTEGER
+#else /* !LIBCAPTIVE */
+gint64
+#endif /* LIBCAPTIVE */
 STDCALL
 KeQueryPerformanceCounter (
        PLARGE_INTEGER  PerformanceFrequency