RtlGetHotPatchSize

__int64 __fastcall RtlGetHotPatchSize(_DWORD *a1){
  __int64 result; 

  result = 2i64;
  if( *a1 >= 3u )
    return(unsigned int)(a1[6] + 2);
  return result;
}

Referenced by:

MiPrepareDriverForHotPatch
RtlApplyHotPatch
RtlCountRequiredHotPatchAddressTableEntries
RtlEnumerateHotPatchPatches
RtlHotPatchSynchronizationRequired
RtlValidateHotPatchBase