NAME
K32RtlExtendedIntegerMultiply - RtlExtendedLargeIntegerMultiply [NTDLL.359]
SYNOPSIS
long long K32RtlExtendedIntegerMultiply
(
LARGE_INTEGER factor1,
INT32 factor2
);
DESCRIPTION
Note: This even works, since gcc returns 64bit values in eax/edx just like the caller expects. However... The relay code won't grok this I think.
RETURNS
LARGE_INTEGER.