blob: 509a2bd44bf11130cf7ba876b1ecbb117110e667 [file] [log] [blame]
/*
* PROJECT: ReactOS DDK
* COPYRIGHT: This file is in the Public Domain.
* FILE: driverspecs.h
* ABSTRACT: This header stubs out Driver Verifier annotations to
* allow drivers using them to compile with our header set.
*/
#ifndef DRIVERSPECS_H
#define DRIVERSPECS_H
#include <specstrings.h>
#include <concurrencysal.h>
#define _IRQL_raises_(x)
#define _IRQL_requires_(x)
#define _IRQL_requires_max_(x)
#define _IRQL_requires_min_(x)
#define _IRQL_requires_same_
#define _IRQL_restores_
#define _IRQL_saves_
#define __drv_aliasesMem
#define __drv_allocatesMem(kind)
#define __drv_arg(x,y)
#define __drv_at(x,y)
#define __drv_deref(x)
#define __drv_dispatchType(x)
#define __drv_dispatchType_other
#define __drv_formatString(x)
#define __drv_freesMem(kind)
#define __drv_in(x)
#define __drv_in_deref(x)
#define __drv_maxIRQL(x)
#define __drv_nonConstant
#define __drv_out(x)
#define __drv_out_deref(x)
#define __drv_raisesIRQL(x)
#define __drv_requiresIRQL(x)
#define __drv_restoresIRQL
#define __drv_restoresIRQLGlobal(x,y)
#define __drv_savesIRQL
#define __drv_savesIRQLGlobal(x,y)
#define __drv_setsIRQL(x)
#define __drv_useCancelIRQL
#define __drv_valueIs(x)
#define __drv_when(x,y)
#define __internal_kernel_driver
#define __kernel_code
#define __kernel_driver
#define __user_code
#define __user_driver
#endif