int __fastcall MiAllocateWorkingSetSwapSupport(__int64 a1){
unsigned __int64 *v2;
LODWORD(v2) = MiAllocatePool((struct _SLIST_ENTRY *)0x40);
if( v2 )
{
v2[1] = a1;
*v2 = ((unsigned __int64)v2 + 47) & 0xFFFFFFFFFFFFFFF8ui64;
}
return(int)v2;
}