Macros
#define	__specstrings

#define	__nothrow

#define	__byte_readableTo(size)

#define	__byte_writableTo(size)

#define	__deref

#define	__elem_readableTo(size)

#define	__elem_writableTo(size)

#define	__exceptthat

#define	__execeptthat

#define	__inner_blocksOn(resource)

#define	__inner_checkReturn

#define	__inner_control_entrypoint(category)

#define	__inner_data_entrypoint(category)

#define	__inner_fallthrough

#define	__inner_fallthrough_dec

#define	__inner_override

#define	__inner_success(expr)

#define	__inner_typefix(ctype)

#define	__maybenull

#define	__maybereadonly

#define	__maybevalid

#define	__notnull

#define	__notreadonly

#define	__notvalid

#define	__null

#define	__post

#define	__postcond(expr)

#define	__pre

#define	__precond(expr)

#define	__readableTo(extent)

#define	__readonly

#define	__refparam

#define	__valid

#define	__writableTo(size)

#define	__bcount_opt(size) __bcount(size) __exceptthat __maybenull

#define	__bcount(size) __notnull __byte_writableTo(size)

#define	__blocksOn(resource) __inner_blocksOn(resource)

#define	__callback __inner_callback

#define	__checkReturn __inner_checkReturn

#define	__control_entrypoint(category) __inner_control_entrypoint(category)

#define	__data_entrypoint(category) __inner_data_entrypoint(category)

#define	__deref_bcount_opt(size) __deref_bcount(size) __post __deref __exceptthat __maybenull

#define	__deref_bcount(size) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __byte_writableTo(size)

#define	__deref_ecount_opt(size) __deref_ecount(size) __post __deref __exceptthat __maybenull

#define	__deref_ecount(size) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __elem_writableTo(size)

#define	__deref_inout __notnull __elem_readableTo(1) __pre __deref __valid __post __deref __valid __refparam

#define	__deref_inout_bcount_full_opt(size) __deref_inout_bcount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_bcount_full(size) __deref_inout_bcount_part(size,size)

#define	__deref_inout_bcount_nz_opt(size) __deref_inout_bcount_opt(size)

#define	__deref_inout_bcount_nz(size) __deref_inout_ecount(size)

#define	__deref_inout_bcount_opt(size) __deref_inout_bcount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_bcount_part_opt(size, length) __deref_inout_bcount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_bcount_part(size, length) __deref_inout_bcount(size) __pre __deref __byte_readableTo(length) __post __deref __byte_readableTo(length)

#define	__deref_inout_bcount_z_opt(size) __deref_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_inout_bcount_z(size) __deref_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_inout_bcount(size) __deref_inout __pre __deref __byte_writableTo(size) __post __deref __byte_writableTo(size)

#define	__deref_inout_ecount_full_opt(size) __deref_inout_ecount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_ecount_full(size) __deref_inout_ecount_part(size,size)

#define	__deref_inout_ecount_nz_opt(size) __deref_inout_ecount_opt(size)

#define	__deref_inout_ecount_nz(size) __deref_inout_ecount(size)

#define	__deref_inout_ecount_opt(size) __deref_inout_ecount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_ecount_part_opt(size, length) __deref_inout_ecount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_ecount_part(size, length) __deref_inout_ecount(size) __pre __deref __elem_readableTo(length) __post __deref __elem_readableTo(length)

#define	__deref_inout_ecount_z_opt(size) __deref_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_inout_ecount_z(size) __deref_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_inout_ecount(size) __deref_inout __pre __deref __elem_writableTo(size) __post __deref __elem_writableTo(size)

#define	__deref_inout_nz __deref_inout

#define	__deref_inout_nz_opt __deref_inout_opt

#define	__deref_inout_opt __deref_inout __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

#define	__deref_inout_z __deref_inout __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_inout_z_opt __deref_inout_opt __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_bcount_opt(size) __deref_bcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_bcount(size) __deref_bcount(size) __exceptthat __maybenull

#define	__deref_opt_ecount_opt(size) __deref_ecount_opt(size) __exceptthat __maybenull

#define	__deref_opt_ecount(size) __deref_ecount(size) __exceptthat __maybenull

#define	__deref_opt_inout __deref_inout __exceptthat __maybenull

#define	__deref_opt_inout_bcount_full_opt(size) __deref_inout_bcount_full_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_bcount_full(size) __deref_inout_bcount_full(size) __exceptthat __maybenull

#define	__deref_opt_inout_bcount_nz_opt(size) __deref_opt_inout_bcount_opt(size)

#define	__deref_opt_inout_bcount_nz(size) __deref_opt_inout_bcount(size)

#define	__deref_opt_inout_bcount_opt(size) __deref_inout_bcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_bcount_part_opt(size, length) __deref_inout_bcount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_bcount_part(size, length) __deref_inout_bcount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_bcount_z_opt(size) __deref_opt_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_inout_bcount_z(size) __deref_opt_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_inout_bcount(size) __deref_inout_bcount(size) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_full_opt(size) __deref_inout_ecount_full_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_full(size) __deref_inout_ecount_full(size) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_nz_opt(size) __deref_opt_inout_ecount_opt(size)

#define	__deref_opt_inout_ecount_nz(size) __deref_opt_inout_ecount(size)

#define	__deref_opt_inout_ecount_opt(size) __deref_inout_ecount_opt(size) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_part_opt(size, length) __deref_inout_ecount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_part(size, length) __deref_inout_ecount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_inout_ecount_z_opt(size) __deref_opt_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_inout_ecount_z(size) __deref_opt_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_inout_ecount(size) __deref_inout_ecount(size) __exceptthat __maybenull

#define	__deref_opt_inout_nz __deref_opt_inout

#define	__deref_opt_inout_nz_opt __deref_opt_inout_opt

#define	__deref_opt_inout_opt __deref_inout_opt __exceptthat __maybenull

#define	__deref_opt_inout_z __deref_opt_inout __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_inout_z_opt __deref_opt_inout_opt __pre __deref __nullterminated __post __deref __nullterminated

#define	__deref_opt_out __deref_out __exceptthat __maybenull

#define	__deref_opt_out_bcount_full_opt(size) __deref_out_bcount_full_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_bcount_full(size) __deref_out_bcount_full(size) __exceptthat __maybenull

#define	__deref_opt_out_bcount_nz_opt(size) __deref_opt_out_bcount_opt(size)

#define	__deref_opt_out_bcount_opt(size) __deref_out_bcount_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_bcount_part_opt(size, length) __deref_out_bcount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_out_bcount_part(size, length) __deref_out_bcount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_out_bcount_z_opt(size) __deref_opt_out_bcount_opt(size) __post __deref __nullterminated

#define	__deref_opt_out_bcount(size) __deref_out_bcount(size) __exceptthat __maybenull

#define	__deref_opt_out_ecount_full_opt(size) __deref_out_ecount_full_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_ecount_full(size) __deref_out_ecount_full(size) __exceptthat __maybenull

#define	__deref_opt_out_ecount_nz_opt(size) __deref_opt_out_ecount_opt(size)

#define	__deref_opt_out_ecount_opt(size) __deref_out_ecount_opt(size) __exceptthat __maybenull

#define	__deref_opt_out_ecount_part_opt(size, length) __deref_out_ecount_part_opt(size,length) __exceptthat __maybenull

#define	__deref_opt_out_ecount_part(size, length) __deref_out_ecount_part(size,length) __exceptthat __maybenull

#define	__deref_opt_out_ecount_z_opt(size) __deref_opt_out_ecount_opt(size) __post __deref __nullterminated

#define	__deref_opt_out_ecount(size) __deref_out_ecount(size) __exceptthat __maybenull

#define	__deref_opt_out_nz_opt __deref_opt_out_opt

#define	__deref_opt_out_opt __deref_out_opt __exceptthat __maybenull

#define	__deref_opt_out_z __deref_opt_out __post __deref __nullterminated

#define	__deref_opt_out_z_opt __post __deref __valid __refparam __exceptthat __maybenull __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull __post __deref __nullterminated

#define	__deref_out __deref_ecount(1) __post __deref __valid __refparam

#define	__deref_out_bcount_full_opt(size) __deref_out_bcount_full(size) __post __deref __exceptthat __maybenull

#define	__deref_out_bcount_full(size) __deref_out_bcount_part(size,size)

#define	__deref_out_bcount_nz_opt(size) __deref_out_bcount_opt(size)

#define	__deref_out_bcount_nz(size) __deref_out_ecount(size)

#define	__deref_out_bcount_opt(size) __deref_out_bcount(size) __post __deref __exceptthat __maybenull

#define	__deref_out_bcount_part_opt(size, length) __deref_out_bcount_part(size,length) __post __deref __exceptthat __maybenull

#define	__deref_out_bcount_part(size, length) __deref_out_bcount(size) __post __deref __byte_readableTo(length)

#define	__deref_out_bcount_z_opt(size) __deref_out_bcount_opt(size) __post __deref __nullterminated

#define	__deref_out_bcount_z(size) __deref_out_ecount(size) __post __deref __nullterminated

#define	__deref_out_bcount(size) __deref_bcount(size) __post __deref __valid __refparam

#define	__deref_out_ecount_full_opt(size) __deref_out_ecount_full(size) __post __deref __exceptthat __maybenull

#define	__deref_out_ecount_full(size) __deref_out_ecount_part(size,size)

#define	__deref_out_ecount_nz_opt(size) __deref_out_ecount_opt(size)

#define	__deref_out_ecount_nz(size) __deref_out_ecount(size)

#define	__deref_out_ecount_opt(size) __deref_out_ecount(size) __post __deref __exceptthat __maybenull

#define	__deref_out_ecount_part_opt(size, length) __deref_out_ecount_part(size,length) __post __deref __exceptthat __maybenull

#define	__deref_out_ecount_part(size, length) __deref_out_ecount(size) __post __deref __elem_readableTo(length)

#define	__deref_out_ecount_z_opt(size) __deref_out_ecount_opt(size) __post __deref __nullterminated

#define	__deref_out_ecount_z(size) __deref_out_ecount(size) __post __deref __nullterminated

#define	__deref_out_ecount(size) __deref_ecount(size) __post __deref __valid __refparam

#define	__deref_out_nz __deref_out

#define	__deref_out_nz_opt __deref_out_opt

#define	__deref_out_range(x, y) /* FIXME */

#define	__deref_out_opt __deref_out __post __deref __exceptthat __maybenull

#define	__deref_out_z __post __deref __valid __refparam __post __deref __nullterminated

#define	__deref_out_z_opt __post __deref __valid __refparam __execeptthat __maybenull __post __deref __nullterminated

#define	__ecount_opt(size) __ecount(size) __exceptthat __maybenull

#define	__ecount(size) __notnull __elem_writableTo(size)

#define	__format_string

#define	__in __pre __valid __pre __deref __readonly

#define	__in_bcount_nz_opt(size) __in_bcount_opt(size)

#define	__in_bcount_nz(size) __in_bcount(size)

#define	__in_bcount_opt(size) __in_bcount(size) __exceptthat __maybenull

#define	__in_bcount_z_opt(size) __in_bcount_opt(size) __pre __nullterminated

#define	__in_bcount_z(size) __in_bcount(size) __pre __nullterminated

#define	__in_bcount(size) __in __pre __byte_readableTo(size)

#define	__in_ecount_nz_opt(size) __in_ecount_opt(size)

#define	__in_ecount_nz(size) __in_ecount(size)

#define	__in_ecount_opt(size) __in_ecount(size) __exceptthat __maybenull

#define	__in_ecount_z_opt(size) __in_ecount_opt(size) __pre __nullterminated

#define	__in_ecount_z(size) __in_ecount(size) __pre __nullterminated

#define	__in_ecount(size) __in __pre __elem_readableTo(size)

#define	__in_nz __in

#define	__in_nz_opt __in_opt

#define	__in_opt __in __exceptthat __maybenull

#define	__in_z __in __pre __nullterminated

#define	__in_z_opt __in_opt __pre __nullterminated

#define	__inout __pre __valid __post __valid __refparam

#define	__inout_bcount_full_opt(size) __inout_bcount_full(size) __exceptthat __maybenull

#define	__inout_bcount_full(size) __inout_bcount_part(size,size)

#define	__inout_bcount_nz_opt(size) __inout_bcount_opt(size)

#define	__inout_bcount_nz(size) __inout_bcount(size)

#define	__inout_bcount_opt(size) __inout_bcount(size) __exceptthat __maybenull

#define	__inout_bcount_part_opt(size, length) __inout_bcount_part(size,length) __exceptthat __maybenull

#define	__inout_bcount_part(size, length) __out_bcount_part(size,length) __pre __valid __pre __byte_readableTo(length)

#define	__inout_bcount_z_opt(size) __inout_bcount_opt(size)

#define	__inout_bcount_z(size) __inout_bcount(size) __pre __nullterminated __post __nullterminated

#define	__inout_bcount(size) __out_bcount(size) __pre __valid

#define	__inout_ecount_full_opt(size) __inout_ecount_full(size) __exceptthat __maybenull

#define	__inout_ecount_full(size) __inout_ecount_part(size,size)

#define	__inout_ecount_nz_opt(size) __inout_ecount_opt(size)

#define	__inout_ecount_nz(size) __inout_ecount(size)

#define	__inout_ecount_opt(size) __inout_ecount(size) __exceptthat __maybenull

#define	__inout_ecount_part_opt(size, length) __inout_ecount_part(size,length) __exceptthat __maybenull

#define	__inout_ecount_part(size, length) __out_ecount_part(size,length) __pre __valid __pre __elem_readableTo(length)

#define	__inout_ecount_z_opt(size) __inout_ecount_opt(size) __pre __nullterminated __post __nullterminated

#define	__inout_ecount_z(size) __inout_ecount(size) __pre __nullterminated __post __nullterminated

#define	__inout_ecount(size) __out_ecount(size) __pre __valid

#define	__inout_nz __inout

#define	__inout_nz_opt __inout_opt

#define	__inout_opt __inout __exceptthat __maybenull

#define	__inout_z __inout __pre __nullterminated __post __nullterminated

#define	__inout_z_opt __inout_opt __pre __nullterminated __post __nullterminated

#define	__nullnullterminated

#define	__nullterminated __readableTo(sentinel(0))

#define	__out __ecount(1) __post __valid __refparam

#define	__out_bcount_full_opt(size) __out_bcount_full(size) __exceptthat __maybenull

#define	__out_bcount_full_z_opt(size) __out_bcount_full_opt(size) __post __nullterminated

#define	__out_bcount_full_z(size) __out_bcount_full(size) __post __nullterminated

#define	__out_bcount_full(size) __out_bcount_part(size,size)

#define	__out_bcount_nz_opt(size) __out_bcount_opt(size) __post __nullterminated

#define	__out_bcount_nz(size) __bcount(size) __post __valid __refparam

#define	__out_bcount_opt(size) __out_bcount(size) __exceptthat __maybenull

#define	__out_bcount_part_opt(size, length) __out_bcount_part(size,length) __exceptthat __maybenull

#define	__out_bcount_part_z_opt(size, length) __out_bcount_part_opt(size,length) __post __nullterminated

#define	__out_bcount_part_z(size, length) __out_bcount_part(size,length) __post __nullterminated

#define	__out_bcount_part(size, length) __out_bcount(size) __post __byte_readableTo(length)

#define	__out_bcount_z_opt(size) __out_bcount_opt(size) __post __nullterminated

#define	__out_bcount_z(size) __bcount(size) __post __valid __refparam __post __nullterminated

#define	__out_bcount(size) __bcount(size) __post __valid __refparam

#define	__out_ecount_full_opt(size) __out_ecount_full(size) __exceptthat __maybenull

#define	__out_ecount_full_z_opt(size) __out_ecount_full_opt(size) __post __nullterminated

#define	__out_ecount_full_z(size) __out_ecount_full(size) __post __nullterminated

#define	__out_ecount_full(size) __out_ecount_part(size,size)

#define	__out_ecount_nz_opt(size) __out_ecount_opt(size) __post __nullterminated

#define	__out_ecount_nz(size) __ecount(size) __post __valid __refparam

#define	__out_ecount_opt(size) __out_ecount(size) __exceptthat __maybenull

#define	__out_ecount_part_opt(size, length) __out_ecount_part(size,length) __exceptthat __maybenull

#define	__out_ecount_part_z_opt(size, length) __out_ecount_part_opt(size,length) __post __nullterminated

#define	__out_ecount_part_z(size, length) __out_ecount_part(size,length) __post __nullterminated

#define	__out_ecount_part(size, length) __out_ecount(size) __post __elem_readableTo(length)

#define	__out_ecount_z_opt(size) __out_ecount_opt(size) __post __nullterminated

#define	__out_ecount_z(size) __ecount(size) __post __valid __refparam __post __nullterminated

#define	__out_ecount(size) __ecount(size) __post __valid __refparam

#define	__out_nz __post __valid __refparam __post

#define	__out_nz_opt __post __valid __refparam __post __exceptthat __maybenull

#define	__out_opt __out __exceptthat __maybenull

#define	__out_z __post __valid __refparam __post __nullterminated

#define	__out_z_opt __post __valid __refparam __post __nullterminated __exceptthat __maybenull

#define	__override __inner_override

#define	__reserved __pre __null

#define	__success(expr) __inner_success(expr)

#define	__typefix(ctype) __inner_typefix(ctype)

#define	__fallthrough __inner_fallthrough

Macro Definition Documentation

◆ __bcount

#define __bcount ( size ) __notnull __byte_writableTo(size)

Definition at line 110 of file sal_old.h.

◆ __bcount_opt

#define __bcount_opt ( size ) __bcount(size) __exceptthat __maybenull

Definition at line 109 of file sal_old.h.

◆ __blocksOn

#define __blocksOn ( resource ) __inner_blocksOn(resource)

Definition at line 111 of file sal_old.h.

◆ __byte_readableTo

#define __byte_readableTo ( size )

Definition at line 74 of file sal_old.h.

◆ __byte_writableTo

#define __byte_writableTo ( size )

Definition at line 75 of file sal_old.h.

◆ __callback

#define __callback __inner_callback

Definition at line 112 of file sal_old.h.

◆ __checkReturn

#define __checkReturn __inner_checkReturn

Definition at line 113 of file sal_old.h.

◆ __control_entrypoint

#define __control_entrypoint ( category ) __inner_control_entrypoint(category)

Definition at line 114 of file sal_old.h.

◆ __data_entrypoint

#define __data_entrypoint ( category ) __inner_data_entrypoint(category)

Definition at line 115 of file sal_old.h.

◆ __deref

#define __deref

Definition at line 76 of file sal_old.h.

◆ __deref_bcount

#define __deref_bcount ( size ) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __byte_writableTo(size)

Definition at line 117 of file sal_old.h.

◆ __deref_bcount_opt

#define __deref_bcount_opt ( size ) __deref_bcount(size) __post __deref __exceptthat __maybenull

Definition at line 116 of file sal_old.h.

◆ __deref_ecount

#define __deref_ecount ( size ) __ecount(1) __post __elem_readableTo(1) __post __deref __notnull __post __deref __elem_writableTo(size)

Definition at line 119 of file sal_old.h.

◆ __deref_ecount_opt

#define __deref_ecount_opt ( size ) __deref_ecount(size) __post __deref __exceptthat __maybenull

Definition at line 118 of file sal_old.h.

◆ __deref_inout

#define __deref_inout __notnull __elem_readableTo(1) __pre __deref __valid __post __deref __valid __refparam

Definition at line 120 of file sal_old.h.

◆ __deref_inout_bcount

#define __deref_inout_bcount ( size ) __deref_inout __pre __deref __byte_writableTo(size) __post __deref __byte_writableTo(size)

Definition at line 130 of file sal_old.h.

◆ __deref_inout_bcount_full

#define __deref_inout_bcount_full ( size ) __deref_inout_bcount_part(size,size)

Definition at line 122 of file sal_old.h.

◆ __deref_inout_bcount_full_opt

#define __deref_inout_bcount_full_opt ( size ) __deref_inout_bcount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 121 of file sal_old.h.

◆ __deref_inout_bcount_nz

#define __deref_inout_bcount_nz ( size ) __deref_inout_ecount(size)

Definition at line 124 of file sal_old.h.

◆ __deref_inout_bcount_nz_opt

#define __deref_inout_bcount_nz_opt ( size ) __deref_inout_bcount_opt(size)

Definition at line 123 of file sal_old.h.

◆ __deref_inout_bcount_opt

#define __deref_inout_bcount_opt ( size ) __deref_inout_bcount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 125 of file sal_old.h.

◆ __deref_inout_bcount_part

#define __deref_inout_bcount_part	(	size,
		length
	)	__deref_inout_bcount(size) __pre __deref __byte_readableTo(length) __post __deref __byte_readableTo(length)

Definition at line 127 of file sal_old.h.

◆ __deref_inout_bcount_part_opt

#define __deref_inout_bcount_part_opt	(	size,
		length
	)	__deref_inout_bcount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 126 of file sal_old.h.

◆ __deref_inout_bcount_z

#define __deref_inout_bcount_z ( size ) __deref_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 129 of file sal_old.h.

◆ __deref_inout_bcount_z_opt

#define __deref_inout_bcount_z_opt ( size ) __deref_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 128 of file sal_old.h.

◆ __deref_inout_ecount

#define __deref_inout_ecount ( size ) __deref_inout __pre __deref __elem_writableTo(size) __post __deref __elem_writableTo(size)

Definition at line 140 of file sal_old.h.

◆ __deref_inout_ecount_full

#define __deref_inout_ecount_full ( size ) __deref_inout_ecount_part(size,size)

Definition at line 132 of file sal_old.h.

◆ __deref_inout_ecount_full_opt

#define __deref_inout_ecount_full_opt ( size ) __deref_inout_ecount_full(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 131 of file sal_old.h.

◆ __deref_inout_ecount_nz

#define __deref_inout_ecount_nz ( size ) __deref_inout_ecount(size)

Definition at line 134 of file sal_old.h.

◆ __deref_inout_ecount_nz_opt

#define __deref_inout_ecount_nz_opt ( size ) __deref_inout_ecount_opt(size)

Definition at line 133 of file sal_old.h.

◆ __deref_inout_ecount_opt

#define __deref_inout_ecount_opt ( size ) __deref_inout_ecount(size) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 135 of file sal_old.h.

◆ __deref_inout_ecount_part

#define __deref_inout_ecount_part	(	size,
		length
	)	__deref_inout_ecount(size) __pre __deref __elem_readableTo(length) __post __deref __elem_readableTo(length)

Definition at line 137 of file sal_old.h.

◆ __deref_inout_ecount_part_opt

#define __deref_inout_ecount_part_opt	(	size,
		length
	)	__deref_inout_ecount_part(size,length) __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 136 of file sal_old.h.

◆ __deref_inout_ecount_z

#define __deref_inout_ecount_z ( size ) __deref_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 139 of file sal_old.h.

◆ __deref_inout_ecount_z_opt

#define __deref_inout_ecount_z_opt ( size ) __deref_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 138 of file sal_old.h.

◆ __deref_inout_nz

#define __deref_inout_nz __deref_inout

Definition at line 141 of file sal_old.h.

◆ __deref_inout_nz_opt

#define __deref_inout_nz_opt __deref_inout_opt

Definition at line 142 of file sal_old.h.

◆ __deref_inout_opt

#define __deref_inout_opt __deref_inout __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull

Definition at line 143 of file sal_old.h.

◆ __deref_inout_z

#define __deref_inout_z __deref_inout __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 144 of file sal_old.h.

◆ __deref_inout_z_opt

#define __deref_inout_z_opt __deref_inout_opt __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 145 of file sal_old.h.

◆ __deref_opt_bcount

#define __deref_opt_bcount ( size ) __deref_bcount(size) __exceptthat __maybenull

Definition at line 147 of file sal_old.h.

◆ __deref_opt_bcount_opt

#define __deref_opt_bcount_opt ( size ) __deref_bcount_opt(size) __exceptthat __maybenull

Definition at line 146 of file sal_old.h.

◆ __deref_opt_ecount

#define __deref_opt_ecount ( size ) __deref_ecount(size) __exceptthat __maybenull

Definition at line 149 of file sal_old.h.

◆ __deref_opt_ecount_opt

#define __deref_opt_ecount_opt ( size ) __deref_ecount_opt(size) __exceptthat __maybenull

Definition at line 148 of file sal_old.h.

◆ __deref_opt_inout

#define __deref_opt_inout __deref_inout __exceptthat __maybenull

Definition at line 150 of file sal_old.h.

◆ __deref_opt_inout_bcount

#define __deref_opt_inout_bcount ( size ) __deref_inout_bcount(size) __exceptthat __maybenull

Definition at line 160 of file sal_old.h.

◆ __deref_opt_inout_bcount_full

#define __deref_opt_inout_bcount_full ( size ) __deref_inout_bcount_full(size) __exceptthat __maybenull

Definition at line 152 of file sal_old.h.

◆ __deref_opt_inout_bcount_full_opt

#define __deref_opt_inout_bcount_full_opt ( size ) __deref_inout_bcount_full_opt(size) __exceptthat __maybenull

Definition at line 151 of file sal_old.h.

◆ __deref_opt_inout_bcount_nz

#define __deref_opt_inout_bcount_nz ( size ) __deref_opt_inout_bcount(size)

Definition at line 154 of file sal_old.h.

◆ __deref_opt_inout_bcount_nz_opt

#define __deref_opt_inout_bcount_nz_opt ( size ) __deref_opt_inout_bcount_opt(size)

Definition at line 153 of file sal_old.h.

◆ __deref_opt_inout_bcount_opt

#define __deref_opt_inout_bcount_opt ( size ) __deref_inout_bcount_opt(size) __exceptthat __maybenull

Definition at line 155 of file sal_old.h.

◆ __deref_opt_inout_bcount_part

#define __deref_opt_inout_bcount_part	(	size,
		length
	)	__deref_inout_bcount_part(size,length) __exceptthat __maybenull

Definition at line 157 of file sal_old.h.

◆ __deref_opt_inout_bcount_part_opt

#define __deref_opt_inout_bcount_part_opt	(	size,
		length
	)	__deref_inout_bcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 156 of file sal_old.h.

◆ __deref_opt_inout_bcount_z

#define __deref_opt_inout_bcount_z ( size ) __deref_opt_inout_bcount(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 159 of file sal_old.h.

◆ __deref_opt_inout_bcount_z_opt

#define __deref_opt_inout_bcount_z_opt ( size ) __deref_opt_inout_bcount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 158 of file sal_old.h.

◆ __deref_opt_inout_ecount

#define __deref_opt_inout_ecount ( size ) __deref_inout_ecount(size) __exceptthat __maybenull

Definition at line 170 of file sal_old.h.

◆ __deref_opt_inout_ecount_full

#define __deref_opt_inout_ecount_full ( size ) __deref_inout_ecount_full(size) __exceptthat __maybenull

Definition at line 162 of file sal_old.h.

◆ __deref_opt_inout_ecount_full_opt

#define __deref_opt_inout_ecount_full_opt ( size ) __deref_inout_ecount_full_opt(size) __exceptthat __maybenull

Definition at line 161 of file sal_old.h.

◆ __deref_opt_inout_ecount_nz

#define __deref_opt_inout_ecount_nz ( size ) __deref_opt_inout_ecount(size)

Definition at line 164 of file sal_old.h.

◆ __deref_opt_inout_ecount_nz_opt

#define __deref_opt_inout_ecount_nz_opt ( size ) __deref_opt_inout_ecount_opt(size)

Definition at line 163 of file sal_old.h.

◆ __deref_opt_inout_ecount_opt

#define __deref_opt_inout_ecount_opt ( size ) __deref_inout_ecount_opt(size) __exceptthat __maybenull

Definition at line 165 of file sal_old.h.

◆ __deref_opt_inout_ecount_part

#define __deref_opt_inout_ecount_part	(	size,
		length
	)	__deref_inout_ecount_part(size,length) __exceptthat __maybenull

Definition at line 167 of file sal_old.h.

◆ __deref_opt_inout_ecount_part_opt

#define __deref_opt_inout_ecount_part_opt	(	size,
		length
	)	__deref_inout_ecount_part_opt(size,length) __exceptthat __maybenull

Definition at line 166 of file sal_old.h.

◆ __deref_opt_inout_ecount_z

#define __deref_opt_inout_ecount_z ( size ) __deref_opt_inout_ecount(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 169 of file sal_old.h.

◆ __deref_opt_inout_ecount_z_opt

#define __deref_opt_inout_ecount_z_opt ( size ) __deref_opt_inout_ecount_opt(size) __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 168 of file sal_old.h.

◆ __deref_opt_inout_nz

#define __deref_opt_inout_nz __deref_opt_inout

Definition at line 171 of file sal_old.h.

◆ __deref_opt_inout_nz_opt

#define __deref_opt_inout_nz_opt __deref_opt_inout_opt

Definition at line 172 of file sal_old.h.

◆ __deref_opt_inout_opt

#define __deref_opt_inout_opt __deref_inout_opt __exceptthat __maybenull

Definition at line 173 of file sal_old.h.

◆ __deref_opt_inout_z

#define __deref_opt_inout_z __deref_opt_inout __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 174 of file sal_old.h.

◆ __deref_opt_inout_z_opt

#define __deref_opt_inout_z_opt __deref_opt_inout_opt __pre __deref __nullterminated __post __deref __nullterminated

Definition at line 175 of file sal_old.h.

◆ __deref_opt_out

#define __deref_opt_out __deref_out __exceptthat __maybenull

Definition at line 176 of file sal_old.h.

◆ __deref_opt_out_bcount

#define __deref_opt_out_bcount ( size ) __deref_out_bcount(size) __exceptthat __maybenull

Definition at line 184 of file sal_old.h.

◆ __deref_opt_out_bcount_full

#define __deref_opt_out_bcount_full ( size ) __deref_out_bcount_full(size) __exceptthat __maybenull

Definition at line 178 of file sal_old.h.

◆ __deref_opt_out_bcount_full_opt

#define __deref_opt_out_bcount_full_opt ( size ) __deref_out_bcount_full_opt(size) __exceptthat __maybenull

Definition at line 177 of file sal_old.h.

◆ __deref_opt_out_bcount_nz_opt

#define __deref_opt_out_bcount_nz_opt ( size ) __deref_opt_out_bcount_opt(size)

Definition at line 179 of file sal_old.h.

◆ __deref_opt_out_bcount_opt

#define __deref_opt_out_bcount_opt ( size ) __deref_out_bcount_opt(size) __exceptthat __maybenull

Definition at line 180 of file sal_old.h.

◆ __deref_opt_out_bcount_part

#define __deref_opt_out_bcount_part	(	size,
		length
	)	__deref_out_bcount_part(size,length) __exceptthat __maybenull

Definition at line 182 of file sal_old.h.

◆ __deref_opt_out_bcount_part_opt

#define __deref_opt_out_bcount_part_opt	(	size,
		length
	)	__deref_out_bcount_part_opt(size,length) __exceptthat __maybenull

Definition at line 181 of file sal_old.h.

◆ __deref_opt_out_bcount_z_opt

#define __deref_opt_out_bcount_z_opt ( size ) __deref_opt_out_bcount_opt(size) __post __deref __nullterminated

Definition at line 183 of file sal_old.h.

◆ __deref_opt_out_ecount

#define __deref_opt_out_ecount ( size ) __deref_out_ecount(size) __exceptthat __maybenull

Definition at line 192 of file sal_old.h.

◆ __deref_opt_out_ecount_full

#define __deref_opt_out_ecount_full ( size ) __deref_out_ecount_full(size) __exceptthat __maybenull

Definition at line 186 of file sal_old.h.

◆ __deref_opt_out_ecount_full_opt

#define __deref_opt_out_ecount_full_opt ( size ) __deref_out_ecount_full_opt(size) __exceptthat __maybenull

Definition at line 185 of file sal_old.h.

◆ __deref_opt_out_ecount_nz_opt

#define __deref_opt_out_ecount_nz_opt ( size ) __deref_opt_out_ecount_opt(size)

Definition at line 187 of file sal_old.h.

◆ __deref_opt_out_ecount_opt

#define __deref_opt_out_ecount_opt ( size ) __deref_out_ecount_opt(size) __exceptthat __maybenull

Definition at line 188 of file sal_old.h.

◆ __deref_opt_out_ecount_part

#define __deref_opt_out_ecount_part	(	size,
		length
	)	__deref_out_ecount_part(size,length) __exceptthat __maybenull

Definition at line 190 of file sal_old.h.

◆ __deref_opt_out_ecount_part_opt

#define __deref_opt_out_ecount_part_opt	(	size,
		length
	)	__deref_out_ecount_part_opt(size,length) __exceptthat __maybenull

Definition at line 189 of file sal_old.h.

◆ __deref_opt_out_ecount_z_opt

#define __deref_opt_out_ecount_z_opt ( size ) __deref_opt_out_ecount_opt(size) __post __deref __nullterminated

Definition at line 191 of file sal_old.h.

◆ __deref_opt_out_nz_opt

#define __deref_opt_out_nz_opt __deref_opt_out_opt

Definition at line 193 of file sal_old.h.

◆ __deref_opt_out_opt

#define __deref_opt_out_opt __deref_out_opt __exceptthat __maybenull

Definition at line 194 of file sal_old.h.

◆ __deref_opt_out_z

#define __deref_opt_out_z __deref_opt_out __post __deref __nullterminated

Definition at line 195 of file sal_old.h.

◆ __deref_opt_out_z_opt

#define __deref_opt_out_z_opt __post __deref __valid __refparam __exceptthat __maybenull __pre __deref __exceptthat __maybenull __post __deref __exceptthat __maybenull __post __deref __nullterminated

Definition at line 196 of file sal_old.h.

◆ __deref_out

#define __deref_out __deref_ecount(1) __post __deref __valid __refparam

Definition at line 197 of file sal_old.h.

◆ __deref_out_bcount

#define __deref_out_bcount ( size ) __deref_bcount(size) __post __deref __valid __refparam

Definition at line 207 of file sal_old.h.

◆ __deref_out_bcount_full

#define __deref_out_bcount_full ( size ) __deref_out_bcount_part(size,size)

Definition at line 199 of file sal_old.h.

◆ __deref_out_bcount_full_opt

#define __deref_out_bcount_full_opt ( size ) __deref_out_bcount_full(size) __post __deref __exceptthat __maybenull

Definition at line 198 of file sal_old.h.

◆ __deref_out_bcount_nz

#define __deref_out_bcount_nz ( size ) __deref_out_ecount(size)

Definition at line 201 of file sal_old.h.

◆ __deref_out_bcount_nz_opt

#define __deref_out_bcount_nz_opt ( size ) __deref_out_bcount_opt(size)

Definition at line 200 of file sal_old.h.

◆ __deref_out_bcount_opt

#define __deref_out_bcount_opt ( size ) __deref_out_bcount(size) __post __deref __exceptthat __maybenull

Definition at line 202 of file sal_old.h.

◆ __deref_out_bcount_part

#define __deref_out_bcount_part	(	size,
		length
	)	__deref_out_bcount(size) __post __deref __byte_readableTo(length)

Definition at line 204 of file sal_old.h.

◆ __deref_out_bcount_part_opt

#define __deref_out_bcount_part_opt	(	size,
		length
	)	__deref_out_bcount_part(size,length) __post __deref __exceptthat __maybenull

Definition at line 203 of file sal_old.h.

◆ __deref_out_bcount_z

#define __deref_out_bcount_z ( size ) __deref_out_ecount(size) __post __deref __nullterminated

Definition at line 206 of file sal_old.h.

◆ __deref_out_bcount_z_opt

#define __deref_out_bcount_z_opt ( size ) __deref_out_bcount_opt(size) __post __deref __nullterminated

Definition at line 205 of file sal_old.h.

◆ __deref_out_ecount

#define __deref_out_ecount ( size ) __deref_ecount(size) __post __deref __valid __refparam

Definition at line 217 of file sal_old.h.

◆ __deref_out_ecount_full

#define __deref_out_ecount_full ( size ) __deref_out_ecount_part(size,size)

Definition at line 209 of file sal_old.h.

◆ __deref_out_ecount_full_opt

#define __deref_out_ecount_full_opt ( size ) __deref_out_ecount_full(size) __post __deref __exceptthat __maybenull

Definition at line 208 of file sal_old.h.

◆ __deref_out_ecount_nz

#define __deref_out_ecount_nz ( size ) __deref_out_ecount(size)

Definition at line 211 of file sal_old.h.

◆ __deref_out_ecount_nz_opt

#define __deref_out_ecount_nz_opt ( size ) __deref_out_ecount_opt(size)

Definition at line 210 of file sal_old.h.

◆ __deref_out_ecount_opt

#define __deref_out_ecount_opt ( size ) __deref_out_ecount(size) __post __deref __exceptthat __maybenull

Definition at line 212 of file sal_old.h.

◆ __deref_out_ecount_part

#define __deref_out_ecount_part	(	size,
		length
	)	__deref_out_ecount(size) __post __deref __elem_readableTo(length)

Definition at line 214 of file sal_old.h.

◆ __deref_out_ecount_part_opt

#define __deref_out_ecount_part_opt	(	size,
		length
	)	__deref_out_ecount_part(size,length) __post __deref __exceptthat __maybenull

Definition at line 213 of file sal_old.h.

◆ __deref_out_ecount_z

#define __deref_out_ecount_z ( size ) __deref_out_ecount(size) __post __deref __nullterminated

Definition at line 216 of file sal_old.h.

◆ __deref_out_ecount_z_opt

#define __deref_out_ecount_z_opt ( size ) __deref_out_ecount_opt(size) __post __deref __nullterminated

Definition at line 215 of file sal_old.h.

◆ __deref_out_nz

#define __deref_out_nz __deref_out

Definition at line 218 of file sal_old.h.

◆ __deref_out_nz_opt

#define __deref_out_nz_opt __deref_out_opt

Definition at line 219 of file sal_old.h.

◆ __deref_out_opt

#define __deref_out_opt __deref_out __post __deref __exceptthat __maybenull

Definition at line 221 of file sal_old.h.

◆ __deref_out_range

#define __deref_out_range	(	x,
		y
	)	/* FIXME */

Definition at line 220 of file sal_old.h.

◆ __deref_out_z

#define __deref_out_z __post __deref __valid __refparam __post __deref __nullterminated

Definition at line 222 of file sal_old.h.

◆ __deref_out_z_opt

#define __deref_out_z_opt __post __deref __valid __refparam __execeptthat __maybenull __post __deref __nullterminated

Definition at line 223 of file sal_old.h.

◆ __ecount

#define __ecount ( size ) __notnull __elem_writableTo(size)

Definition at line 225 of file sal_old.h.

◆ __ecount_opt

#define __ecount_opt ( size ) __ecount(size) __exceptthat __maybenull

Definition at line 224 of file sal_old.h.

◆ __elem_readableTo

#define __elem_readableTo ( size )

Definition at line 77 of file sal_old.h.

◆ __elem_writableTo

#define __elem_writableTo ( size )

Definition at line 78 of file sal_old.h.

◆ __exceptthat

#define __exceptthat

Definition at line 79 of file sal_old.h.

◆ __execeptthat

#define __execeptthat

Definition at line 80 of file sal_old.h.

◆ __fallthrough

#define __fallthrough __inner_fallthrough

Definition at line 314 of file sal_old.h.

◆ __format_string

#define __format_string

Definition at line 226 of file sal_old.h.

◆ __in

#define __in __pre __valid __pre __deref __readonly

Definition at line 227 of file sal_old.h.

◆ __in_bcount

#define __in_bcount ( size ) __in __pre __byte_readableTo(size)

Definition at line 233 of file sal_old.h.

◆ __in_bcount_nz

#define __in_bcount_nz ( size ) __in_bcount(size)

Definition at line 229 of file sal_old.h.

◆ __in_bcount_nz_opt

#define __in_bcount_nz_opt ( size ) __in_bcount_opt(size)

Definition at line 228 of file sal_old.h.

◆ __in_bcount_opt

#define __in_bcount_opt ( size ) __in_bcount(size) __exceptthat __maybenull

Definition at line 230 of file sal_old.h.

◆ __in_bcount_z

#define __in_bcount_z ( size ) __in_bcount(size) __pre __nullterminated

Definition at line 232 of file sal_old.h.

◆ __in_bcount_z_opt

#define __in_bcount_z_opt ( size ) __in_bcount_opt(size) __pre __nullterminated

Definition at line 231 of file sal_old.h.

◆ __in_ecount

#define __in_ecount ( size ) __in __pre __elem_readableTo(size)

Definition at line 239 of file sal_old.h.

◆ __in_ecount_nz

#define __in_ecount_nz ( size ) __in_ecount(size)

Definition at line 235 of file sal_old.h.

◆ __in_ecount_nz_opt

#define __in_ecount_nz_opt ( size ) __in_ecount_opt(size)

Definition at line 234 of file sal_old.h.

◆ __in_ecount_opt

#define __in_ecount_opt ( size ) __in_ecount(size) __exceptthat __maybenull

Definition at line 236 of file sal_old.h.

◆ __in_ecount_z

#define __in_ecount_z ( size ) __in_ecount(size) __pre __nullterminated

Definition at line 238 of file sal_old.h.

◆ __in_ecount_z_opt

#define __in_ecount_z_opt ( size ) __in_ecount_opt(size) __pre __nullterminated

Definition at line 237 of file sal_old.h.

◆ __in_nz

#define __in_nz __in

Definition at line 240 of file sal_old.h.

◆ __in_nz_opt

#define __in_nz_opt __in_opt

Definition at line 241 of file sal_old.h.

◆ __in_opt

#define __in_opt __in __exceptthat __maybenull

Definition at line 242 of file sal_old.h.

◆ __in_z

#define __in_z __in __pre __nullterminated

Definition at line 243 of file sal_old.h.

◆ __in_z_opt

#define __in_z_opt __in_opt __pre __nullterminated

Definition at line 244 of file sal_old.h.

◆ __inner_blocksOn

#define __inner_blocksOn ( resource )

Definition at line 81 of file sal_old.h.

◆ __inner_checkReturn

#define __inner_checkReturn

Definition at line 82 of file sal_old.h.

◆ __inner_control_entrypoint

#define __inner_control_entrypoint ( category )

Definition at line 83 of file sal_old.h.

◆ __inner_data_entrypoint

#define __inner_data_entrypoint ( category )

Definition at line 84 of file sal_old.h.

◆ __inner_fallthrough

#define __inner_fallthrough

Definition at line 85 of file sal_old.h.

◆ __inner_fallthrough_dec

#define __inner_fallthrough_dec

Definition at line 86 of file sal_old.h.

◆ __inner_override

#define __inner_override

Definition at line 87 of file sal_old.h.

◆ __inner_success

#define __inner_success ( expr )

Definition at line 88 of file sal_old.h.

◆ __inner_typefix

#define __inner_typefix ( ctype )

Definition at line 89 of file sal_old.h.

◆ __inout

#define __inout __pre __valid __post __valid __refparam

Definition at line 245 of file sal_old.h.

◆ __inout_bcount

#define __inout_bcount ( size ) __out_bcount(size) __pre __valid

Definition at line 255 of file sal_old.h.

◆ __inout_bcount_full

#define __inout_bcount_full ( size ) __inout_bcount_part(size,size)

Definition at line 247 of file sal_old.h.

◆ __inout_bcount_full_opt

#define __inout_bcount_full_opt ( size ) __inout_bcount_full(size) __exceptthat __maybenull

Definition at line 246 of file sal_old.h.

◆ __inout_bcount_nz

#define __inout_bcount_nz ( size ) __inout_bcount(size)

Definition at line 249 of file sal_old.h.

◆ __inout_bcount_nz_opt

#define __inout_bcount_nz_opt ( size ) __inout_bcount_opt(size)

Definition at line 248 of file sal_old.h.

◆ __inout_bcount_opt

#define __inout_bcount_opt ( size ) __inout_bcount(size) __exceptthat __maybenull

Definition at line 250 of file sal_old.h.

◆ __inout_bcount_part

#define __inout_bcount_part	(	size,
		length
	)	__out_bcount_part(size,length) __pre __valid __pre __byte_readableTo(length)

Definition at line 252 of file sal_old.h.

◆ __inout_bcount_part_opt

#define __inout_bcount_part_opt	(	size,
		length
	)	__inout_bcount_part(size,length) __exceptthat __maybenull

Definition at line 251 of file sal_old.h.

◆ __inout_bcount_z

#define __inout_bcount_z ( size ) __inout_bcount(size) __pre __nullterminated __post __nullterminated

Definition at line 254 of file sal_old.h.

◆ __inout_bcount_z_opt

#define __inout_bcount_z_opt ( size ) __inout_bcount_opt(size)

Definition at line 253 of file sal_old.h.

◆ __inout_ecount

#define __inout_ecount ( size ) __out_ecount(size) __pre __valid

Definition at line 265 of file sal_old.h.

◆ __inout_ecount_full

#define __inout_ecount_full ( size ) __inout_ecount_part(size,size)

Definition at line 257 of file sal_old.h.

◆ __inout_ecount_full_opt

#define __inout_ecount_full_opt ( size ) __inout_ecount_full(size) __exceptthat __maybenull

Definition at line 256 of file sal_old.h.

◆ __inout_ecount_nz

#define __inout_ecount_nz ( size ) __inout_ecount(size)

Definition at line 259 of file sal_old.h.

◆ __inout_ecount_nz_opt

#define __inout_ecount_nz_opt ( size ) __inout_ecount_opt(size)

Definition at line 258 of file sal_old.h.

◆ __inout_ecount_opt

#define __inout_ecount_opt ( size ) __inout_ecount(size) __exceptthat __maybenull

Definition at line 260 of file sal_old.h.

◆ __inout_ecount_part

#define __inout_ecount_part	(	size,
		length
	)	__out_ecount_part(size,length) __pre __valid __pre __elem_readableTo(length)

Definition at line 262 of file sal_old.h.

◆ __inout_ecount_part_opt

#define __inout_ecount_part_opt	(	size,
		length
	)	__inout_ecount_part(size,length) __exceptthat __maybenull

Definition at line 261 of file sal_old.h.

◆ __inout_ecount_z

#define __inout_ecount_z ( size ) __inout_ecount(size) __pre __nullterminated __post __nullterminated

Definition at line 264 of file sal_old.h.

◆ __inout_ecount_z_opt

#define __inout_ecount_z_opt ( size ) __inout_ecount_opt(size) __pre __nullterminated __post __nullterminated

Definition at line 263 of file sal_old.h.

◆ __inout_nz

#define __inout_nz __inout

Definition at line 266 of file sal_old.h.

◆ __inout_nz_opt

#define __inout_nz_opt __inout_opt

Definition at line 267 of file sal_old.h.

◆ __inout_opt

#define __inout_opt __inout __exceptthat __maybenull

Definition at line 268 of file sal_old.h.

◆ __inout_z

#define __inout_z __inout __pre __nullterminated __post __nullterminated

Definition at line 269 of file sal_old.h.

◆ __inout_z_opt

#define __inout_z_opt __inout_opt __pre __nullterminated __post __nullterminated

Definition at line 270 of file sal_old.h.

◆ __maybenull

#define __maybenull

Definition at line 90 of file sal_old.h.

◆ __maybereadonly

#define __maybereadonly

Definition at line 91 of file sal_old.h.

◆ __maybevalid

#define __maybevalid

Definition at line 92 of file sal_old.h.

◆ __nothrow

#define __nothrow

Definition at line 32 of file sal_old.h.

◆ __notnull

#define __notnull

Definition at line 93 of file sal_old.h.

◆ __notreadonly

#define __notreadonly

Definition at line 94 of file sal_old.h.

◆ __notvalid

#define __notvalid

Definition at line 95 of file sal_old.h.

◆ __null

#define __null

Definition at line 96 of file sal_old.h.

◆ __nullnullterminated

#define __nullnullterminated

Definition at line 271 of file sal_old.h.

◆ __nullterminated

#define __nullterminated __readableTo(sentinel(0))

Definition at line 272 of file sal_old.h.

◆ __out

#define __out __ecount(1) __post __valid __refparam

Definition at line 273 of file sal_old.h.

◆ __out_bcount

#define __out_bcount ( size ) __bcount(size) __post __valid __refparam

Definition at line 287 of file sal_old.h.

◆ __out_bcount_full

#define __out_bcount_full ( size ) __out_bcount_part(size,size)

Definition at line 277 of file sal_old.h.

◆ __out_bcount_full_opt

#define __out_bcount_full_opt ( size ) __out_bcount_full(size) __exceptthat __maybenull

Definition at line 274 of file sal_old.h.

◆ __out_bcount_full_z

#define __out_bcount_full_z ( size ) __out_bcount_full(size) __post __nullterminated

Definition at line 276 of file sal_old.h.

◆ __out_bcount_full_z_opt

#define __out_bcount_full_z_opt ( size ) __out_bcount_full_opt(size) __post __nullterminated

Definition at line 275 of file sal_old.h.

◆ __out_bcount_nz

#define __out_bcount_nz ( size ) __bcount(size) __post __valid __refparam

Definition at line 279 of file sal_old.h.

◆ __out_bcount_nz_opt

#define __out_bcount_nz_opt ( size ) __out_bcount_opt(size) __post __nullterminated

Definition at line 278 of file sal_old.h.

◆ __out_bcount_opt

#define __out_bcount_opt ( size ) __out_bcount(size) __exceptthat __maybenull

Definition at line 280 of file sal_old.h.

◆ __out_bcount_part

#define __out_bcount_part	(	size,
		length
	)	__out_bcount(size) __post __byte_readableTo(length)

Definition at line 284 of file sal_old.h.

◆ __out_bcount_part_opt

#define __out_bcount_part_opt	(	size,
		length
	)	__out_bcount_part(size,length) __exceptthat __maybenull

Definition at line 281 of file sal_old.h.

◆ __out_bcount_part_z

#define __out_bcount_part_z	(	size,
		length
	)	__out_bcount_part(size,length) __post __nullterminated

Definition at line 283 of file sal_old.h.

◆ __out_bcount_part_z_opt

#define __out_bcount_part_z_opt	(	size,
		length
	)	__out_bcount_part_opt(size,length) __post __nullterminated

Definition at line 282 of file sal_old.h.

◆ __out_bcount_z

#define __out_bcount_z ( size ) __bcount(size) __post __valid __refparam __post __nullterminated

Definition at line 286 of file sal_old.h.

◆ __out_bcount_z_opt

#define __out_bcount_z_opt ( size ) __out_bcount_opt(size) __post __nullterminated

Definition at line 285 of file sal_old.h.

◆ __out_ecount

#define __out_ecount ( size ) __ecount(size) __post __valid __refparam

Definition at line 301 of file sal_old.h.

◆ __out_ecount_full

#define __out_ecount_full ( size ) __out_ecount_part(size,size)

Definition at line 291 of file sal_old.h.

◆ __out_ecount_full_opt

#define __out_ecount_full_opt ( size ) __out_ecount_full(size) __exceptthat __maybenull

Definition at line 288 of file sal_old.h.

◆ __out_ecount_full_z

#define __out_ecount_full_z ( size ) __out_ecount_full(size) __post __nullterminated

Definition at line 290 of file sal_old.h.

◆ __out_ecount_full_z_opt

#define __out_ecount_full_z_opt ( size ) __out_ecount_full_opt(size) __post __nullterminated

Definition at line 289 of file sal_old.h.

◆ __out_ecount_nz

#define __out_ecount_nz ( size ) __ecount(size) __post __valid __refparam

Definition at line 293 of file sal_old.h.

◆ __out_ecount_nz_opt

#define __out_ecount_nz_opt ( size ) __out_ecount_opt(size) __post __nullterminated

Definition at line 292 of file sal_old.h.

◆ __out_ecount_opt

#define __out_ecount_opt ( size ) __out_ecount(size) __exceptthat __maybenull

Definition at line 294 of file sal_old.h.

◆ __out_ecount_part

#define __out_ecount_part	(	size,
		length
	)	__out_ecount(size) __post __elem_readableTo(length)

Definition at line 298 of file sal_old.h.

◆ __out_ecount_part_opt

#define __out_ecount_part_opt	(	size,
		length
	)	__out_ecount_part(size,length) __exceptthat __maybenull

Definition at line 295 of file sal_old.h.

◆ __out_ecount_part_z

#define __out_ecount_part_z	(	size,
		length
	)	__out_ecount_part(size,length) __post __nullterminated

Definition at line 297 of file sal_old.h.

◆ __out_ecount_part_z_opt

#define __out_ecount_part_z_opt	(	size,
		length
	)	__out_ecount_part_opt(size,length) __post __nullterminated

Definition at line 296 of file sal_old.h.

◆ __out_ecount_z

#define __out_ecount_z ( size ) __ecount(size) __post __valid __refparam __post __nullterminated

Definition at line 300 of file sal_old.h.

◆ __out_ecount_z_opt

#define __out_ecount_z_opt ( size ) __out_ecount_opt(size) __post __nullterminated

Definition at line 299 of file sal_old.h.

◆ __out_nz

#define __out_nz __post __valid __refparam __post

Definition at line 302 of file sal_old.h.

◆ __out_nz_opt

#define __out_nz_opt __post __valid __refparam __post __exceptthat __maybenull

Definition at line 303 of file sal_old.h.

◆ __out_opt

#define __out_opt __out __exceptthat __maybenull

Definition at line 304 of file sal_old.h.

◆ __out_z

#define __out_z __post __valid __refparam __post __nullterminated

Definition at line 305 of file sal_old.h.

◆ __out_z_opt

#define __out_z_opt __post __valid __refparam __post __nullterminated __exceptthat __maybenull

Definition at line 306 of file sal_old.h.

◆ __override

#define __override __inner_override

Definition at line 307 of file sal_old.h.

◆ __post

#define __post

Definition at line 97 of file sal_old.h.

◆ __postcond

#define __postcond ( expr )

Definition at line 98 of file sal_old.h.

◆ __pre

#define __pre

Definition at line 99 of file sal_old.h.

◆ __precond

#define __precond ( expr )

Definition at line 100 of file sal_old.h.

◆ __readableTo

#define __readableTo ( extent )

Definition at line 101 of file sal_old.h.

◆ __readonly

#define __readonly

Definition at line 102 of file sal_old.h.

◆ __refparam

#define __refparam

Definition at line 103 of file sal_old.h.

◆ __reserved

#define __reserved __pre __null

Definition at line 308 of file sal_old.h.

◆ __specstrings

#define __specstrings

Definition at line 24 of file sal_old.h.

◆ __success

#define __success ( expr ) __inner_success(expr)

Definition at line 309 of file sal_old.h.

◆ __typefix

#define __typefix ( ctype ) __inner_typefix(ctype)

Definition at line 310 of file sal_old.h.

◆ __valid

#define __valid

Definition at line 104 of file sal_old.h.

◆ __writableTo

#define __writableTo ( size )

Definition at line 105 of file sal_old.h.

Macros