HvlFlushRangeListTb

VOID __stdcall HvlFlushRangeListTb(
        UINT64 AddressSpace,
        _KAFFINITY_EX *ProcessorSet,
        UINT8 Global,
        UINT64 RangeCount,
        VOID **VaList){
  UINT64 v5; 
  VOID **a5; 
  UINT64 a6; 
  int v8; 
  UINT64 *a7; 

  v5 = AddressSpace;
  if( ProcessorSet && HvlpUseExtendedProcessorSetHypercalls() )
  {
    LODWORD(a6) = v8;
    HvlpFlushRangeListTbEx(v5, (INT64)ProcessorSet, Global, RangeCount, (CHAR)VaList, a6, a7);
  }
  else
  {
    LOBYTE(a5) = (_BYTE)VaList;
    HvlpFlushRangeListTb(v5, ProcessorSet, Global, RangeCount, a5);
  }
}

Referenced by: