Bitdefender Hypervisor Memory Introspection
intro_sal.h File Reference

Dummy SAL definitions for build environments were SAL is not available. More...

Go to the source code of this file.

Macros

#define _Return_type_success_(expr)
 
#define _In_opt_
 
#define _In_z_
 
#define _In_opt_z_
 
#define _Outptr_
 
#define _Inout_
 
#define _In_
 
#define _Out_
 
#define _At_(expr, arg)
 
#define _Outptr_result_bytebuffer_(expr)
 
#define _In_reads_bytes_(expr)
 
#define _When_(expr, arg)
 
#define _In_reads_(expr)
 
#define _Out_writes_(expr)
 
#define _Out_writes_to_(expr, expr2)
 
#define _Out_opt_
 
#define _Inout_opt_
 
#define _Inout_updates_(expr)
 
#define _Inout_updates_bytes_(expr)
 
#define _Acquires_lock_(expr)
 
#define _Releases_lock_(expr)
 
#define _In_reads_z_(expr)
 
#define _Out_writes_z_(expr)
 
#define _Out_writes_bytes_(expr)
 
#define _Outptr_opt_
 
#define _Function_class_(expr)
 
#define _Field_size_(expr)
 
#define _In_bytecount_(expr)
 
#define _In_reads_or_z_(expr)
 
#define _Analysis_assume_lock_held_(expr)
 
#define _Inout_updates_all_(expr)
 
#define _Analysis_assume_(expr)
 
#define _Success_(expr)
 

Detailed Description

Dummy SAL definitions for build environments were SAL is not available.

Definition in file intro_sal.h.

Macro Definition Documentation

◆ _Acquires_lock_

#define _Acquires_lock_ (   expr)

Definition at line 34 of file intro_sal.h.

Referenced by IntSpinLockUnInit().

◆ _Analysis_assume_

#define _Analysis_assume_ (   expr)

◆ _Analysis_assume_lock_held_

#define _Analysis_assume_lock_held_ (   expr)

Definition at line 44 of file intro_sal.h.

◆ _At_

#define _At_ (   expr,
  arg 
)

Definition at line 23 of file intro_sal.h.

Referenced by DbgCrWriteTestCallback().

◆ _Field_size_

#define _Field_size_ (   expr)

Definition at line 41 of file intro_sal.h.

◆ _Function_class_

◆ _In_

◆ _In_bytecount_

#define _In_bytecount_ (   expr)

Definition at line 42 of file intro_sal.h.

◆ _In_opt_

#define _In_opt_

Definition at line 16 of file intro_sal.h.

Referenced by DbgCrWriteTestCallback().

◆ _In_opt_z_

#define _In_opt_z_

Definition at line 18 of file intro_sal.h.

◆ _In_reads_

#define _In_reads_ (   expr)

Definition at line 27 of file intro_sal.h.

◆ _In_reads_bytes_

#define _In_reads_bytes_ (   expr)

Definition at line 25 of file intro_sal.h.

◆ _In_reads_or_z_

#define _In_reads_or_z_ (   expr)

Definition at line 43 of file intro_sal.h.

◆ _In_reads_z_

#define _In_reads_z_ (   expr)

Definition at line 36 of file intro_sal.h.

Referenced by strstr_utf16().

◆ _In_z_

#define _In_z_

Definition at line 17 of file intro_sal.h.

Referenced by nd_memset(), and strstr_utf16().

◆ _Inout_

#define _Inout_

Definition at line 20 of file intro_sal.h.

Referenced by DbgCrWriteTestCallback().

◆ _Inout_opt_

#define _Inout_opt_

Definition at line 31 of file intro_sal.h.

◆ _Inout_updates_

#define _Inout_updates_ (   expr)

Definition at line 32 of file intro_sal.h.

◆ _Inout_updates_all_

#define _Inout_updates_all_ (   expr)

Definition at line 45 of file intro_sal.h.

◆ _Inout_updates_bytes_

#define _Inout_updates_bytes_ (   expr)

Definition at line 33 of file intro_sal.h.

◆ _Out_

#define _Out_

Definition at line 22 of file intro_sal.h.

Referenced by IntWinAgentIsRipInsideCurrentAgent(), and IntWinProcPolicyIsFeedback().

◆ _Out_opt_

#define _Out_opt_

Definition at line 30 of file intro_sal.h.

◆ _Out_writes_

#define _Out_writes_ (   expr)

Definition at line 28 of file intro_sal.h.

Referenced by IntNetStateToString().

◆ _Out_writes_bytes_

#define _Out_writes_bytes_ (   expr)

Definition at line 38 of file intro_sal.h.

◆ _Out_writes_to_

#define _Out_writes_to_ (   expr,
  expr2 
)

Definition at line 29 of file intro_sal.h.

◆ _Out_writes_z_

#define _Out_writes_z_ (   expr)

Definition at line 37 of file intro_sal.h.

Referenced by nd_memset().

◆ _Outptr_

#define _Outptr_

Definition at line 19 of file intro_sal.h.

Referenced by IntWinProcPolicyIsFeedback().

◆ _Outptr_opt_

#define _Outptr_opt_

Definition at line 39 of file intro_sal.h.

◆ _Outptr_result_bytebuffer_

#define _Outptr_result_bytebuffer_ (   expr)

Definition at line 24 of file intro_sal.h.

◆ _Releases_lock_

#define _Releases_lock_ (   expr)

Definition at line 35 of file intro_sal.h.

Referenced by IntSpinLockAcquire().

◆ _Return_type_success_

#define _Return_type_success_ (   expr)

Definition at line 15 of file intro_sal.h.

◆ _Success_

◆ _When_

#define _When_ (   expr,
  arg 
)

Definition at line 26 of file intro_sal.h.