MiAddressToRetpolineBit

UINT64 __fastcall MiAddressToRetpolineBit(INT64 a1){
  return(unsigned __int64)(a1 + 0x800000000000i64) >> 16;
}

Referenced by:

MiMarkRetpolineBits