INT64 __fastcall VslPrepareDriverForPatch(INT64 a1){
INT64 v2;
volatile signed __int32 *v3;
INT64 result[14];
memset((INT64)result, 0i64);
_InterlockedIncrement(&dword_140C47198);
result[1] = a1;
LODWORD(v2) = VslpEnterIumSecureMode(2u, 72, 0i64, (INT64)result);
v3 = &dword_140C4719C;
if( (int)v2 < 0 )
v3 = (volatile signed __int32 *)byte_140C471A0;
_InterlockedIncrement(v3);
return v2;
}