INT64 __stdcall KeSaveExtendedProcessorState(UINT64 Mask, XSTATE_SAVE *XStateSave){
bool v2;
if( (KeFeatureBits & 0x800000) != 0 )
v2 = (~KUSER_SHARED_DATA.XState.EnabledFeatures & Mask) == 0;
else
v2 = (Mask & 0xFFFFFFFFFFFFFFFCui64) == 0;
if( !v2 )
KeBugCheckEx(0x131u, 0i64, KeFeatureBits & 0x800000, (unsigned int)Mask, HIDWORD(Mask));
return KeSaveExtendedAndSupervisorState(Mask, XStateSave);
}