UINT64 __stdcall RtlCrc64(VOID *Buffer, UINT64 Size, UINT64 InitialCrc){ _CRC_CTRL_TABLE *v4; return RtlpComputeCrcInternal(Buffer, Size, InitialCrc, (_CRC_CTRL_TABLE *)&Crc64Ctrl, v4); }