MiGetLeafPfnBuddy

unsigned __int64 __fastcall MiGetLeafPfnBuddy(_QWORD *a1){
  if( (*a1 & 0xFFFFFFFFFFEi64) != 0 )
    return 8 * (*a1 & 0xFFFFFFFFFFEi64 | 0xFFFFF00000000000ui64);
  else
    return 0i64;
}

Referenced by: