KdpSetBusData

VOID __stdcall KdpSetBusData(PSTR Destination, PSTR Source, UINT64 a3){
  UINT64 v3; 
  UINT64 v4; 
  void *v6; 
  UINT64 v7; 
  UINT64 Request; 
  __int128 v9; 
  UINT64 v10; 
  v10 = a3;
  v3 = *((unsigned int *)Destination + 7);
  v4 = *((unsigned int *)Destination + 6);
  LODWORD(v10) = 0;
  v9 = 0i64;
  LOWORD(v9) = 56;
  LODWORD(Request) = *((_DWORD *)Destination + 8);
  v6 = (void *)*((_QWORD *)Source + 1);
  v7 = *((unsigned int *)Destination + 5);
  *((_QWORD *)&v9 + 1) = Destination;
  *((_DWORD *)Destination + 2) = KdpSysWriteBusData(*((_BUS_DATA_TYPE *)Destination + 4), v7, v4, v3, v6, Request, &v10);
  *((_DWORD *)Destination + 8) = v10;
  KdSendPacket(2i64, &v9, 0i64, &KdpContext);
}

Referenced by: