void wpspb_handler(int *param_1)

{

  int iVar1;

  sysinfo local_48;

  sloop_register_timeout(1,0,wpspb_handler,param_1);

  iVar1 = gpio_in(0);

  if (iVar1 == 0) {

    if (*param_1 < 1) {

      sysinfo(&local_48);

      *param_1 = local_48.uptime;

      puts("WPS button pushed!");

      puts("PBC start WPS!");

      status_set_led(0);

      mysystem("event WPSPBC.PUSH")   //possible issue identified - semgrep

    }

    else {

      sysinfo(&local_48);

      param_1[1] = local_48.uptime - *param_1;

      printf("WPS button pushed for %d secs\n");

    }

  }

  else {

    param_1[1] = 0;

    *param_1 = 0;

  }

  return;

}