void FUN_0040800c(void *param_1,undefined4 param_2)
{
char acStack_90 [128];
sprintf(acStack_90,"%s/%s","/runtime/session",(int)param_1 + 8) //possible issue identified - semgrep
xmldbc_del(0,0,acStack_90);
memset(param_1,0,0xe8) //possible issue identified - semgrep
*(undefined4 *)((int)param_1 + 4) = 0xffffffff;
FUN_00407ea0(param_1,param_2,1);
return;
}