1 /* 2 * PROJECT: ReactOS DDK 3 * COPYRIGHT: This file is in the Public Domain. 4 * FILE: driverspecs.h 5 * ABSTRACT: This header stubs out Driver Verifier annotations to 6 * allow drivers using them to compile with our header set. 7 */ 8 9 #ifndef DRIVERSPECS_H 10 #define DRIVERSPECS_H 11 12 #include <specstrings.h> 13 14 #define __drv_dispatchType(x) 15 #define __drv_dispatchType_other 16 17 #define __drv_aliasesMem 18 #define __drv_allocatesMem(kind) 19 #define __drv_freesMem(kind) 20 21 #define __drv_arg(x,y) 22 #define __drv_at(x,y) 23 #define __drv_deref(x) 24 #define __drv_in(x) 25 #define __drv_in_deref(x) 26 #define __drv_out(x) 27 #define __drv_out_deref(x) 28 #define __drv_when(x,y) 29 30 #define __internal_kernel_driver 31 #define __kernel_code 32 #define __kernel_driver 33 #define __user_code 34 #define __user_driver 35 36 #endif 37