undefined4 DO_RACFG_CMD_ATE_SEL_TX_ANTENNA(undefined4 param_1,undefined4 param_2,int param_3)

{

  ushort local_30 [2];

  char acStack_2c [24];

  local_30[0] = 0;

  memset(acStack_2c,0,0x10)   //possible issue identified - semgrep

  if (2 < RTDebugLevel) {

    printk("RACFG_CMD_ATE_SEL_TX_ANTENNA\n");

  }

  memcpy(local_30,(void *)(param_3 + 0xc),2)   //possible issue identified - semgrep

  local_30[0] = (ushort)((local_30[0] & 0xff) << 8) | local_30[0] >> 8;

  snprintf(acStack_2c,0x10,"%d")   //possible issue identified - semgrep

  Set_ATE_TX_Antenna_Proc(param_1,acStack_2c);

  ResponseToGUI(param_3,param_2,2,0);

  return 0;

}