void WPA_ConstructKdeHdr(undefined1 param_1,char param_2,undefined1 *param_3)

{

  memset(param_3,0,6)   //possible issue identified - semgrep

  *param_3 = 0xdd;

  param_3[1] = param_2 + '\x04';

  memmove(param_3 + 2,&OUI_WPA2,3)   //possible issue identified - semgrep

  param_3[5] = param_1;

  return;

}