TtmpWriteDisplayStateChangedEvent

void __fastcall TtmpWriteDisplayStateChangedEvent(__int64 a1, _DWORD *a2){
  int v4; 
  int v5; 
  char Event[544]; 

  memset(Event, 0i64, sizeof(Event));
  v4 = a2[69];
  v5 = a2[70];
  *(_DWORD *)&Event[8] = a2[7];
  *(_DWORD *)&Event[12] = v4;
  *(_DWORD *)&Event[16] = v5;
  *(_DWORD *)Event = 2;
  TtmiLogTerminalDisplayStateChangedEvent((_ACPI_REAL_TIME *)*(unsigned int *)&Event[8]);
  TtmiWriteEventToAllQueues((_TTMI_SESSION *)a1, (_TERMINAL_EVENT *)Event);
}

Referenced by: