PEX_TIMER __stdcall ExAllocateTimerInternal(PEXT_CALLBACK Callback, PVOID CallbackContext, UINT32 Attributes){
UINT64 v3;
INT16 *v4;
int v6;
v3 = Attributes;
if( (Attributes & 2) != 0 )
{
v6 = 1;
v4 = (INT16 *)&v6;
}
else
{
v4 = 0i64;
}
return(PEX_TIMER)ExAllocateTimerInternal2((INT64)Callback, (INT64)CallbackContext, v4, v3);
}