VOID __stdcall KiSetSwitchingNpxState(INT64 a1, CHAR a2){
unsigned __int64 v2;
v2 = KUSER_SHARED_DATA.XState.EnabledFeatures & 0xFFFFFFFFFFFFFFFCui64 | (a2 == 0);
if( (*(_DWORD *)(a1 + 116) & 0x100000) != 0 )
v2 = KUSER_SHARED_DATA.XState.EnabledFeatures & 0xFFFFFFFFFFFFFFFCui64 | (2049i64 - (a2 != 0));
*(_QWORD *)(a1 + 592) = v2;
}