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