__int64 __fastcall KiIsKernelStackSwappable(__int64 a1){ unsigned int v1; v1 = 0; if( *(_BYTE *)(a1 + 391) && (*(_DWORD *)(a1 + 120) & 0x40) != 0 && *(char *)(a1 + 195) < 25 ) return 1; return v1; }