#define KeRestoreFloatingPointState(a) STATUS_SUCCESS
Prototype for get current IRQL. **** TBD (read TPR)