VOID __stdcall VfInitSetVerifyDriverTargets(PWCHAR Targets, UINT64 TargetsSize){
int v2;
if( (unsigned int)TargetsSize > 0x1800 )
word_140D5A35E = 0;
if( (unsigned int)TargetsSize > 0x1800 )
LODWORD(TargetsSize) = 6142;
v2 = TargetsSize;
memmove(&MmVerifyDriverBuffer, (UINT8 *)Targets, (unsigned int)TargetsSize);
VfOptionFlags &= ~1u;
MmVerifyDriverBufferLength = v2;
}