RtlCountLeadingZeroes64() should take 64bit value

xtoskrnl/includes/rtli.h

@@ -221,7 +221,7 @@ RtlCountLeadingZeroes32(IN ULONG Value);
 
 XTAPI
 INT
-RtlCountLeadingZeroes64(IN ULONG Value);
+RtlCountLeadingZeroes64(IN ULONGLONG Value);
 
 XTAPI
 INT

xtoskrnl/rtl/math.c

@@ -81,7 +81,7 @@ RtlCountLeadingZeroes32(IN ULONG Value)
  */
 XTAPI
 INT
-RtlCountLeadingZeroes64(IN ULONG Value)
+RtlCountLeadingZeroes64(IN ULONGLONG Value)
 {
     /* Return a number of leading zero bits */
     return __builtin_clzll(Value);