Searched refs:var (Results 1 – 3 of 3) sorted by relevance
52 #define OLDVAL( var ) _old_ ## var argument53 #define SAVE_OLDVAL( var, typ ) const typ OLDVAL( var ) = var argument58 #define OBJ( var ) ( * var ) argument59 #define OLDOBJ( var ) _oldobj_ ## var argument60 #define SAVE_OLDOBJ( var, typ ) const typ OLDOBJ( var ) = OBJ( var ) argument64 #define __CPROVER_printf( var ) { uint32_t ValueOf_ ## var = ( uint32_t ) var; } argument69 #define __CPROVER_printf_ptr( var ) { uint8_t * ValueOf_ ## var = ( uint8_t * ) var; } argument
146 …#define DEBUG_DECLARE_TRACE_VARIABLE( type, var, init ) type var = ( init ) /**< Trace macro to… argument147 …#define DEBUG_SET_TRACE_VARIABLE( var, value ) var = ( value ) /**< Trace macro to… argument149 …#define DEBUG_DECLARE_TRACE_VARIABLE( type, var, init ) /**< Empty definiti… argument150 …#define DEBUG_SET_TRACE_VARIABLE( var, value ) /**< Empty definiti… argument
1705 var
