31 #define DISPATCH_LEVEL 2 33 #define PASSIVE_LEVEL 0 36 #elif defined(_AMD64_) 44 #undef _IRQL_always_function_max_ 45 #undef _IRQL_always_function_min_ 47 #undef _IRQL_requires_ 48 #undef _IRQL_requires_max_ 49 #undef _IRQL_requires_min_ 50 #undef _IRQL_requires_same_ 51 #undef _IRQL_restores_ 52 #undef _IRQL_restores_global_ 54 #undef _IRQL_saves_global_ 55 #undef _IRQL_uses_cancel_ 56 #undef _IRQL_is_cancel_ 58 #undef __drv_raisesIRQL 59 #undef __drv_requiresIRQL 62 #undef __drv_savesIRQL 63 #undef __drv_savesIRQLGlobal 64 #undef __drv_restoresIRQL 65 #undef __drv_restoresIRQLGlobal 66 #undef __drv_minFunctionIRQL 67 #undef __drv_maxFunctionIRQL 69 #undef __drv_useCancelIRQL 70 #undef __drv_isCancelIRQL 72 #define _IRQL_always_function_max_(irql) _Pre_ _SA_annotes1(SAL_maxFunctionIrql,irql) 73 #define _IRQL_always_function_min_(irql) _Pre_ _SA_annotes1(SAL_minFunctionIrql,irql) 74 #define _IRQL_raises_(irql) _Post_ _SA_annotes1(SAL_raiseIRQL,irql) 75 #define _IRQL_requires_(irql) _Pre_ _SA_annotes1(SAL_IRQL,irql) 76 #define _IRQL_requires_max_(irql) _Pre_ _SA_annotes1(SAL_maxIRQL,irql) 77 #define _IRQL_requires_min_(irql) _Pre_ _SA_annotes1(SAL_minIRQL,irql) 78 #define _IRQL_requires_same_ _Post_ _SA_annotes0(SAL_sameIRQL) 79 #define _IRQL_restores_ _Post_ _SA_annotes0(SAL_restoreIRQL) 80 #define _IRQL_restores_global_(kind,param) _Post_ _SA_annotes2(SAL_restoreIRQLGlobal, #kind, param\t) 81 #define _IRQL_saves_ _Post_ _SA_annotes0(SAL_saveIRQL) 82 #define _IRQL_saves_global_(kind,param) _Post_ _SA_annotes2(SAL_saveIRQLGlobal,#kind, param\t) 83 #define _IRQL_uses_cancel_ _Post_ _SA_annotes0(SAL_UseCancelIrql) 84 #define _IRQL_is_cancel_ _IRQL_uses_cancel_ _Releases_nonreentrant_lock_(_Global_cancel_spin_lock_) \ 85 _At_(return, _IRQL_always_function_min_(DISPATCH_LEVEL) _IRQL_requires_(DISPATCH_LEVEL)) 86 #define __drv_setsIRQL(irql) _Post_ _SA_annotes1(SAL_IRQL,irql) 87 #define __drv_raisesIRQL(irql) _IRQL_raises_(irql) 88 #define __drv_requiresIRQL(irql) _IRQL_requires_(irql) 89 #define __drv_maxIRQL(irql) _IRQL_requires_max_(irql) 90 #define __drv_minIRQL(irql) _IRQL_requires_min_(irql) 91 #define __drv_savesIRQL _IRQL_saves_ 92 #define __drv_savesIRQLGlobal(kind,param) _IRQL_saves_global_(kind,param) 93 #define __drv_restoresIRQL _IRQL_restores_ 94 #define __drv_restoresIRQLGlobal(kind,param) _IRQL_restores_global_(kind,param) 95 #define __drv_minFunctionIRQL(irql) _IRQL_always_function_min_(irql) 96 #define __drv_maxFunctionIRQL(irql) _IRQL_always_function_max_(irql) 97 #define __drv_sameIRQL _IRQL_requires_same_ 98 #define __drv_useCancelIRQL _IRQL_uses_cancel_ 99 #define __drv_isCancelIRQL _IRQL_is_cancel_
#define __ANNOTATION(fun)