From 89efcdb8cd95ea798187fe4062a73fa5d2fca456 Mon Sep 17 00:00:00 2001 From: Mounir IDRASSI Date: Tue, 4 Jul 2017 02:05:11 +0200 Subject: Windows Driver: correctly save and restore extended processor state when performing AVX operations on Windows 7 and later. Enhance readability of code handling save/restore of floating point state. --- src/Common/Tcdefs.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/Common/Tcdefs.h') diff --git a/src/Common/Tcdefs.h b/src/Common/Tcdefs.h index f56cdc9b..e7f54d8e 100644 --- a/src/Common/Tcdefs.h +++ b/src/Common/Tcdefs.h @@ -260,6 +260,26 @@ typedef int BOOL; #define FALSE !TRUE #endif +typedef NTSTATUS (NTAPI *KeSaveExtendedProcessorStateFn) ( + __in ULONG64 Mask, + PXSTATE_SAVE XStateSave + ); + + +typedef VOID (NTAPI *KeRestoreExtendedProcessorStateFn) ( + PXSTATE_SAVE XStateSave + ); + +extern NTSTATUS NTAPI KeSaveExtendedProcessorState ( + __in ULONG64 Mask, + PXSTATE_SAVE XStateSave + ); + + +extern VOID NTAPI KeRestoreExtendedProcessorState ( + PXSTATE_SAVE XStateSave + ); + #else /* !TC_WINDOWS_DRIVER */ #if !defined(_UEFI) #define TCalloc malloc -- cgit v1.2.3