INT64 __fastcall MiIsBootImageTargetFullyRetpolined(UINT64 a1){
__int64 *v2;
__int64 *i;
UINT64 v4;
v2 = 0i64;
for( i = (__int64 *)*((_QWORD *)KeLoaderBlock_0 + 2); i != (__int64 *)((char *)KeLoaderBlock_0 + 16); i = (__int64 *)*i )
{
v4 = i[6];
if( a1 >= v4 && a1 < v4 + *((unsigned int *)i + 16) )
{
v2 = i;
return RtlIsImageFullyRetpolined((VOID *)v2[6]);
}
}
return RtlIsImageFullyRetpolined((VOID *)v2[6]);
}