__int64 __fastcall PsSetPagePriorityThread(__int64 a1, int a2){
signed __int32 v2;
unsigned __int32 v3;
v2 = *(_DWORD *)(a1 + 1296);
do
{
v3 = v2;
v2 = _InterlockedCompareExchange((volatile signed __int32 *)(a1 + 1296), (a2 << 12) | v2 & 0xFFFF8FFF, v2);
}
while( v2 != v3 );
return(v3 >> 12) & 7;
}