INT64 __fastcall MiMarkKernelImageRetpolineBits(INT64 a1){ int v2; INT64 v3; if( MiIsRetpolineEnabled() && (!v2 || (unsigned int)MiIsImageFullyRetpolined(v3)) ) return MiMarkRetpolineBits(*(_QWORD *)(a1 + 48)); else return 0i64; }