VOID __stdcall KiSaveNpxState(INT64 a1, INT64 a2){
if( (a2 & 0x100008) == 1048584 )
_fxsave((void *)(a1 + 256));
if( (a2 & 0x100040) == 1048640 && (KUSER_SHARED_DATA.XState.EnabledFeatures & 0xFFFFFFFC) != 0 )
RtlXSave((_XSAVE_AREA *)(*(int *)(a1 + 1248) + a1 + 720), KUSER_SHARED_DATA.XState.EnabledFeatures & 0xFFFFFFFC);
}