minix/lib/libmagicrt/include/st/state_transfer.h

   1 #ifndef ST_STATE_TRANSFER_H
   2 #define ST_STATE_TRANSFER_H
   3
   4
   5 #include <magic.h>
   6 #include <magic_mem.h>
   7 #include <magic_analysis.h>
   8 #include <magic_asr.h>
   9 #include <stdarg.h>
  10 #include <stdint.h>
  11
  12 #ifdef __MINIX
  13 #include <minix/com.h>
  14 #include <minix/sef.h>
  15 #endif
  16
  17 /*
  18  * Used for debugging: Iterate the type transformations X times.
  19  */
  20 #define MAGIC_ST_TYPE_TRANS_ITERATIONS      1
  21
  22 #include <st/os_callback.h>
  23 #include <st/special.h>
  24
  25 #define ST_LU_ASR                           (1 << 1)
  26 #define ST_LU_NOMMAP                        (1 << 2)
  27
  28 /*
  29  * Type definitions. These need to be OS independent.
  30  */
  31 typedef struct _st_init_info_t {
  32     int flags;
  33     void *init_buff_start;
  34     void *init_buff_cleanup_start;
  35     size_t init_buff_len;
  36     struct st_cbs_os_t st_cbs_os;
  37     void *info_opaque;
  38 } st_init_info_t;
  39
  40 typedef struct st_alloc_pages {
  41     int num_pages;
  42     void *virt_addr;
  43     uint32_t phys_addr;
  44     struct st_alloc_pages *previous;
  45 } st_alloc_pages;
  46
  47 #include <st/callback.h>
  48
  49 /* struct for holding a mapping between pointers */
  50 typedef struct {
  51     void *counterpart;
  52 } st_ptr_mapping;
  53
  54 /* struct for holding arrays of local counterparts to cached variables */
  55 typedef struct {
  56     st_ptr_mapping *functions;
  57     int functions_size;
  58     st_ptr_mapping *types;
  59     st_ptr_mapping *ptr_types;
  60     int types_size;
  61     st_ptr_mapping *sentries;
  62     st_ptr_mapping *sentries_data;
  63     int sentries_size;
  64 } st_counterparts_t;
  65
  66 #define ST_STATE_CHECKING_DEFAULT_MAX_CYCLES        LONG_MAX
  67 #define ST_STATE_CHECKING_DEFAULT_MAX_VIOLATIONS          50
  68
  69 #define ST_SEL_ANALYZE_FLAGS (MAGIC_SEL_ANALYZE_ALL & (~MAGIC_SEL_ANALYZE_OUT_OF_BAND))
  70
  71 #define ST_MAX_COMPATIBLE_TYPES 32
  72
  73 /* Fields of _magic_vars_t that need to be zeroed out after transferring. */
  74 #define ST_MAGIC_VARS_PTR_CLEAR_LIST                                           \
  75     __X(first_sodesc), __X(last_sodesc),                                       \
  76     __X(first_dsodesc), __X(last_dsodesc),                                     \
  77     __X(sentry_rl_buff), __X(sentry_rl_index),                                 \
  78     __X(sentry_hash_buff), __X(sentry_hash_head),                              \
  79     __X(function_hash_buff), __X(function_hash_head)
  80
  81 /* Public utility functions. */
  82 PUBLIC int st_strcmp_wildcard(const char *with_wildcard, const char *without_wildcard);
  83 PUBLIC void st_cb_print(int level, const char *msg, _magic_selement_t *selement, _magic_sel_analyzed_t *sel_analyzed, _magic_sel_stats_t *sel_stats, struct st_cb_info *cb_info);
  84 PUBLIC void st_map_str_sentries(struct _magic_sentry **cached_sentry_ptr, struct _magic_sentry **local_sentry_ptr);
  85 PUBLIC void st_map_sentries(struct _magic_sentry **cached_sentry_ptr, struct _magic_sentry **local_sentry_ptr);
  86 PUBLIC void st_lookup_sentry_pair(struct _magic_sentry **cached_sentry_ptr, struct _magic_sentry **local_sentry_ptr);
  87 PUBLIC void st_add_sentry_pair(struct _magic_sentry *cached_sentry, struct _magic_sentry *local_sentry);
  88 PUBLIC int st_add_sentry_pair_alloc_by_dsindex(st_init_info_t *info, struct _magic_sentry *cached_sentry, struct _magic_dsindex *local_dsindex, int num_elements, const union __alloc_flags *p_alloc_flags);
  89 PUBLIC void st_map_functions(struct _magic_function **cached_function_ptr, struct _magic_function **local_function_ptr);
  90 PUBLIC void st_lookup_function_pair(struct _magic_function **cached_function_ptr, struct _magic_function **local_function_ptr);
  91 PUBLIC void st_add_function_pair(struct _magic_function *cached_function, struct _magic_function *local_function);
  92 PUBLIC int st_sentry_equals(struct _magic_sentry *cached_sentry, struct _magic_sentry *local_sentry);
  93 PUBLIC int st_function_equals(struct _magic_function *cached_function, struct _magic_function *local_function);
  94 PUBLIC void st_print_sentry_diff(st_init_info_t *info, struct _magic_sentry *cached_sentry, struct _magic_sentry *local_sentry, int raw_diff, int print_changed);
  95 PUBLIC void st_print_function_diff(st_init_info_t *info, struct _magic_function *cached_function, struct _magic_function *local_function, int raw_diff, int print_changed);
  96 PUBLIC void st_cb_selement_type_cast(const struct _magic_type* new_selement_type, const struct _magic_type* new_local_selement_type, _magic_selement_t *selement, _magic_sel_analyzed_t *sel_analyzed, _magic_sel_stats_t *sel_stats, struct st_cb_info *cb_info);
  97 PUBLIC void st_map_local_selement_from_child_num(_magic_selement_t *local_selement, struct st_cb_info *cb_info, int child_num);
  98
  99 /* Stack refs save/restore. */
 100 PUBLIC void st_stack_refs_save_restore(char *stack_buff, int is_save);
 101
 102 #define st_stack_refs_save(B)    st_stack_refs_save_restore(B,1)
 103 #define st_stack_refs_restore(B) st_stack_refs_save_restore(B,0)
 104
 105 #define ST_STACK_REFS_BUFF_SIZE (sizeof(struct st_stack_refs_buff))
 106
 107 /*
 108  * The stack pointers to the environment and arguments differ from MINIX
 109  * to Linux.
 110  */
 111 #if defined(__MINIX)
 112 #define ST_STACK_REFS_INT_NUM       3
 113 #define ST_STACK_REFS_INT_LIST \
 114     __X(environ), __X(env_argv), __X(env_argc)
 115 #define ST_STACK_REFS_CUSTOM_NUM    0
 116 #define ST_STACK_REFS_CUSTOM_LIST
 117
 118 #else
 119 /*
 120  * TODO: Complete the list of Linux stack pointer aliases.
 121  */
 122 #define ST_STACK_REFS_INT_NUM       3
 123 #define ST_STACK_REFS_INT_LIST __X(_environ), __X(__progname),                 \
 124     __X(__progname_full)
 125
 126 #ifndef __USE_GNU
 127 extern char *program_invocation_name, *program_invocation_short_name;
 128 extern char **environ;
 129 #endif
 130 #define ST_STACK_REFS_CUSTOM_NUM    4
 131 #define ST_STACK_REFS_CUSTOM_LIST __X(environ), __X(__environ),                \
 132     __X(program_invocation_name), __X(program_invocation_short_name)
 133
 134 #endif
 135
 136 #define ST_STACK_REFS_NUM (ST_STACK_REFS_INT_NUM + ST_STACK_REFS_CUSTOM_NUM)
 137
 138 struct st_stack_refs_buff {
 139     struct _magic_dsentry *first_stack_dsentry;
 140     struct _magic_dsentry *last_stack_dsentry;
 141     struct _magic_obdsentry first_stack_obdsentry_buff;
 142     void* stack_range[2];
 143     int stack_int_refs[ST_STACK_REFS_NUM];
 144 };
 145
 146 /* Public functions for metadata transfer. */
 147 PUBLIC int st_transfer_metadata_types(st_init_info_t *info,
 148     struct _magic_vars_t *cached_magic_vars,
 149     struct _magic_vars_t *remote_magic_vars,
 150     st_counterparts_t *counterparts);
 151 PUBLIC int st_transfer_metadata_dsentries(st_init_info_t *info,
 152     struct _magic_vars_t *cached_magic_vars,
 153     struct _magic_vars_t *remote_magic_vars, st_counterparts_t *counterparts,
 154     size_t *max_buff_sz, int *dsentries_num);
 155
 156 /* Public functions for state transfer. */
 157 PUBLIC int st_state_transfer(st_init_info_t *info);
 158 PUBLIC void st_msync_all_shm_dsentries(void);
 159
 160 PUBLIC int st_init(st_init_info_t *info);
 161 PUBLIC void st_set_status_defaults(st_init_info_t *info);
 162 PUBLIC int st_data_transfer(st_init_info_t *info);
 163 PUBLIC void st_cleanup(st_init_info_t *info);
 164
 165 PUBLIC void st_set_unpaired_types_ratios(float unpaired_types_ratio, float unpaired_struct_types_ratio);
 166
 167 PUBLIC struct _magic_sentry* st_cached_to_remote_sentry(st_init_info_t *info, struct _magic_sentry *cached_sentry);
 168
 169 PUBLIC void st_print_sentries_diff(st_init_info_t *info, int raw_diff, int print_changed);
 170 PUBLIC void st_print_dsentries_diff(st_init_info_t *info, int raw_diff, int print_changed);
 171 PUBLIC void st_print_functions_diff(st_init_info_t *info, int raw_diff, int print_changed);
 172 PUBLIC void st_print_state_diff(st_init_info_t *info, int raw_diff, int print_changed);
 173
 174 PUBLIC void st_set_status_by_state_flags(int status_flags, int status_op, int match_state_flags, int skip_state_flags);
 175 PUBLIC int st_set_status_by_function_ids(int status_flags, int status_op, unsigned long *ids);
 176 PUBLIC int st_set_status_by_sentry_ids(int status_flags, int status_op, unsigned long *ids);
 177 PUBLIC int st_set_status_by_names(int status_flags, int status_op, const char **parent_names, const char **names, _magic_id_t *dsentry_site_ids);
 178 PUBLIC int st_set_status_by_local_addrs(int status_flags, int status_op, void **addrs);
 179 PUBLIC void st_set_status_by_sentry(int status_flags, int status_op, void *cached_sentry);
 180 PUBLIC void st_set_status_by_function(int status_flags, int status_op, void *cached_function);
 181 PUBLIC int st_set_status_by_function_id(int status_flags, int status_op, unsigned long id);
 182 PUBLIC int st_set_status_by_sentry_id(int status_flags, int status_op, unsigned long id);
 183 PUBLIC int st_set_status_by_name(int status_flags, int status_op, const char *parent_name, const char *name, _magic_id_t dsentry_site_id);
 184 PUBLIC int st_set_status_by_local_addr(int status_flags, int status_op, void *addr);
 185
 186 PUBLIC int st_pair_by_function_ids(unsigned long *cached_ids, unsigned long *local_ids, int status_flags, int status_op);
 187 PUBLIC int st_pair_by_sentry_ids(unsigned long *cached_ids, unsigned long *local_ids, int status_flags, int status_op);
 188 PUBLIC int st_pair_by_names(char **cached_parent_names, char **cached_names, char **local_parent_names, char **local_names, _magic_id_t *dsentry_site_ids, int status_flags, int status_op);
 189 PUBLIC void st_pair_by_sentry(void *cached_sentry, void *local_sentry, int status_flags, int status_op);
 190 PUBLIC void st_pair_by_function(void *cached_function, void* local_function, int status_flags, int status_op);
 191 PUBLIC int st_pair_alloc_by_dsindex(st_init_info_t *info, void *cached_sentry, void *local_dsindex, int num_elements, const union __alloc_flags *p_alloc_flags, int status_flags, int status_op);
 192 PUBLIC int st_pair_by_function_id(unsigned long cached_id, unsigned long local_id, int status_flags, int status_op);
 193 PUBLIC int st_pair_by_sentry_id(unsigned long cached_id, unsigned long local_id, int status_flags, int status_op);
 194 PUBLIC int st_pair_by_name(char *cached_parent_name, char *cached_name, char *local_parent_name, char *local_name, _magic_id_t dsentry_site_id, int status_flags, int status_op);
 195 PUBLIC int st_pair_by_alloc_name(st_init_info_t *info, char *cached_parent_name, char *cached_name, _magic_id_t cached_dsentry_site_id, char *local_parent_name, char *local_name, _magic_id_t local_dsentry_site_id, int num_elements, const union __alloc_flags *p_alloc_flags, int status_flags, int status_op);
 196 PUBLIC int st_pair_by_alloc_name_policies(st_init_info_t *info, char *cached_parent_name, char *cached_name, _magic_id_t cached_dsentry_site_id, char *local_parent_name, char *local_name, _magic_id_t local_dsentry_site_id, int num_elements, const union __alloc_flags *p_alloc_flags, int alloc_policies, int status_flags, int status_op);
 197
 198 /* Public functions for state checking. */
 199 PUBLIC int st_do_state_cleanup(void);
 200 PUBLIC int st_do_state_checking(void);
 201 PUBLIC int st_state_checking_before_receive_is_enabled(void);
 202 PUBLIC int st_state_checking_before_receive_set_enabled(int enabled, int max_cycles, int max_violations);
 203
 204 /* State transfer status flags and operations. */
 205 #define ST_NEEDS_TRANSFER          0x01
 206 #define ST_TRANSFER_DONE           0x02
 207 #define ST_ON_PTRXFER_CASCADE      0x04
 208 #define ST_ON_PTRXFER_SET_NULL     0x08
 209 #define ST_ON_PTRXFER_SET_DEFAULT  0x10
 210 #define ST_ON_PTRXFER_SKIP         0x20
 211
 212 #define ST_OP_NONE        0
 213 #define ST_OP_ADD         1
 214 #define ST_OP_DEL         2
 215 #define ST_OP_SET         3
 216 #define ST_OP_CLEAR       4
 217
 218 /* State transfer policies. */
 219 #define ST_DEFAULT_TRANSFER_NONE                0x00000001
 220 #define ST_DEFAULT_ALLOC_CASCADE_XFER           0x00000002
 221 #define ST_DEFAULT_SKIP_STACK                   0x00000004
 222 #define ST_DEFAULT_SKIP_LIB_STATE               0x00000008
 223 #define ST_TRANSFER_DIRTY_ONLY                  0x00000010
 224 #define ST_IXFER_UNCAUGHT_UNIONS                0x00000020
 225 #define ST_REPORT_UNCAUGHT_UNIONS               0x00000040
 226 #define ST_REPORT_NONXFERRED_ALLOCS             0x00000080
 227 #define ST_REPORT_NONXFERRED_UNPAIRED_ALLOCS    0x00000100
 228 #define ST_REPORT_UNPAIRED_SENTRIES             0x00000200
 229 #define ST_REPORT_UNPAIRED_DSENTRIES            0x00000400
 230 #define ST_REPORT_UNPAIRED_STRINGS              0x00000800
 231 #define ST_REPORT_UNPAIRED_SELEMENTS            0x00001000
 232 #define ST_MAP_NAMED_STRINGS_BY_NAME            0x00002000
 233 #define ST_MAP_NAMED_STRINGS_BY_CONTENT         0x00004000
 234 #define ST_MAP_STRINGS_BY_CONTENT               0x00008000
 235 #define ST_ON_ALLOC_UNPAIR_ERROR                0x00010000
 236 #define ST_ON_ALLOC_UNPAIR_DEALLOCATE           0x00020000
 237 #define ST_ON_ALLOC_UNPAIR_IGNORE               0x00040000
 238 #define ST_DEFAULT_MAP_GUARD_PTRS_TO_ARRAY_END  0x00080000
 239 #define ST_DEFAULT_MAP_GUARD_PTRS_TO_STR_END    0x00100000
 240 #define ST_REPORT_PRECISION_LOSS                0x00200000
 241 #define ST_REPORT_SIGN_CHANGE                   0x00400000
 242 #define ST_REPORT_SMALLER_ARRAYS                0x00800000
 243 #define ST_REPORT_LARGER_ARRAYS                 0x01000000
 244 #define ST_REPORT_SMALLER_STRINGS               0x02000000
 245 #define ST_REPORT_LARGER_STRINGS                0x04000000
 246
 247 #define ST_REPORT_UNPAIRED_ALL                                                 \
 248     (ST_REPORT_UNPAIRED_SENTRIES | ST_REPORT_UNPAIRED_DSENTRIES |              \
 249      ST_REPORT_UNPAIRED_STRINGS | ST_REPORT_UNPAIRED_SELEMENTS)
 250 #define ST_MAP_STRINGS_DEFAULT                                                 \
 251     (ST_MAP_NAMED_STRINGS_BY_NAME | ST_MAP_STRINGS_BY_CONTENT)
 252 #define ST_ON_ALLOC_UNPAIR_DEFAULT          (ST_ON_ALLOC_UNPAIR_ERROR)
 253 #define ST_ON_ALLOC_UNPAIR_MASK                                                \
 254     (ST_ON_ALLOC_UNPAIR_ERROR | ST_ON_ALLOC_UNPAIR_DEALLOCATE |                \
 255      ST_ON_ALLOC_UNPAIR_IGNORE)
 256 #define ST_TYPE_TRANSFORM_DEFAULT                                              \
 257     (ST_DEFAULT_MAP_GUARD_PTRS_TO_STR_END | ST_REPORT_PRECISION_LOSS |         \
 258      ST_REPORT_SIGN_CHANGE | ST_REPORT_SMALLER_ARRAYS | ST_REPORT_LARGER_ARRAYS)
 259
 260 #define ST_POLICIES_DEFAULT_TRANSFER_ALL                                       \
 261     (ST_DEFAULT_ALLOC_CASCADE_XFER | ST_DEFAULT_SKIP_STACK |                   \
 262      ST_DEFAULT_SKIP_LIB_STATE | ST_REPORT_NONXFERRED_ALLOCS |                 \
 263      ST_REPORT_NONXFERRED_UNPAIRED_ALLOCS | ST_MAP_STRINGS_DEFAULT |           \
 264      ST_ON_ALLOC_UNPAIR_DEFAULT | ST_TYPE_TRANSFORM_DEFAULT)
 265 #define ST_POLICIES_DEFAULT_TRANSFER_NONE                                      \
 266     (ST_DEFAULT_TRANSFER_NONE | ST_DEFAULT_SKIP_STACK |                        \
 267      ST_DEFAULT_SKIP_LIB_STATE | ST_REPORT_NONXFERRED_ALLOCS |                 \
 268      ST_REPORT_NONXFERRED_UNPAIRED_ALLOCS | ST_MAP_STRINGS_DEFAULT |           \
 269      ST_ON_ALLOC_UNPAIR_DEFAULT | ST_TYPE_TRANSFORM_DEFAULT)
 270 #define ST_POLICIES_DEFAULT_TRANSFER_ASR                                       \
 271     (ST_POLICIES_DEFAULT_TRANSFER_ALL | ST_REPORT_UNPAIRED_ALL)
 272
 273 #define ST_POLICIES_DEFAULT                 ST_POLICIES_DEFAULT_TRANSFER_ALL
 274
 275 /* Macros for predefined state transfer names. */
 276
 277 #define ADJUST_POINTER(local, remote, pointer) ( (local) +  ((pointer) - (remote)) )
 278 #define ST_STR_BUFF_SIZE (MAGIC_MAX_NAME_LEN > MAGIC_MAX_TYPE_STR_LEN ? MAGIC_MAX_NAME_LEN : MAGIC_MAX_TYPE_STR_LEN)
 279 #define USE_PRE_ALLOCATED_BUFFER(INFO) ((INFO)->init_buff_start)
 280 #define EXEC_WITH_MAGIC_VARS(CMD, MAGIC_VARS)                       \
 281     do {                                                            \
 282         struct _magic_vars_t *__saved_vars = _magic_vars;           \
 283         _magic_vars = (MAGIC_VARS);                                 \
 284         CMD;                                                        \
 285         _magic_vars = __saved_vars;                                 \
 286     } while(0);
 287
 288 #define MAX_NUM_TYPENAMES              20
 289
 290 #define CHECK_SENTITY_PAIRS            1
 291 #define ST_DEBUG_LEVEL                 1
 292 #define ST_DEBUG_DATA_TRANSFER         0
 293 #define CHECK_ASR                      0
 294
 295 #define ST_ALLOW_RAW_UNPAIRED_TYPES            1
 296 #define ST_UNPAIRED_TYPES_RATIO_DEFAULT        0
 297 #define ST_UNPAIRED_STRUCT_TYPES_RATIO_DEFAULT 0
 298 #define FORCE_SOME_UNPAIRED_TYPES              1
 299 #define ST_TRANSFER_IDENTITY_FOR_NO_INNER_PTRS 1
 300
 301 #ifndef ST_ASSUME_RAW_COPY_BEFORE_TRANSFER
 302 #define ST_ASSUME_RAW_COPY_BEFORE_TRANSFER     0
 303 #endif
 304
 305 #if defined(__MINIX)
 306 #define ST_IS_UNPAIRABLE_TYPE_OS(T) (sef_self_endpoint != VM_PROC_NR || strcmp((T)->name, "void"))
 307 #else
 308 #define ST_IS_UNPAIRABLE_TYPE_OS(T) 1
 309 #endif
 310
 311 #if ST_ALLOW_RAW_UNPAIRED_TYPES
 312 #define ST_IS_UNPAIRABLE_TYPE(T) (ST_IS_UNPAIRABLE_TYPE_OS(T) && (T)->type_id != MAGIC_TYPE_UNION)
 313 #else
 314 #define ST_IS_UNPAIRABLE_TYPE(T) \
 315      (ST_IS_UNPAIRABLE_TYPE_OS(T) \
 316      && !MAGIC_TYPE_IS_RAW_ARRAY(T) \
 317      && !((T)->type_id == MAGIC_TYPE_ARRAY && !strcmp((T)->contained_types[0]->type_str, "i8")) \
 318      && !(T)->ext)
 319 #endif
 320
 321 #define ST_IS_UNPAIRABLE_STRUCT_TYPE(T) \
 322     ((T)->type_id == MAGIC_TYPE_STRUCT)
 323
 324 #define ST_FLAGS_PRINT(E) printf(", sf_flags(NDndsc)=%d%d%d%d%d%d", \
 325     MAGIC_STATE_EXTF_FLAG(E,ST_NEEDS_TRANSFER), MAGIC_STATE_EXTF_FLAG(E,ST_TRANSFER_DONE), \
 326     MAGIC_STATE_EXTF_FLAG(E,ST_ON_PTRXFER_SET_NULL), MAGIC_STATE_EXTF_FLAG(E,ST_ON_PTRXFER_SET_DEFAULT), \
 327     MAGIC_STATE_EXTF_FLAG(E,ST_ON_PTRXFER_SKIP), MAGIC_STATE_EXTF_FLAG(E,ST_ON_PTRXFER_CASCADE));
 328
 329 #define ST_SENTRY_PRINT(E,T)   do { MAGIC_SENTRY_PRINT(E, T); ST_FLAGS_PRINT(E); if (MAGIC_SENTRY_IS_STRING(E)) printf(", string=\"%s\"", (ST_SENTRY_IS_CACHED(E) ? st_lookup_str_local_data(E) : (char*)(E)->address)); } while(0)
 330 #define ST_DSENTRY_PRINT(E,T)  do { MAGIC_DSENTRY_PRINT(E, T); ST_FLAGS_PRINT(&E->sentry); } while(0)
 331 #define ST_FUNCTION_PRINT(E,T) do { MAGIC_FUNCTION_PRINT(E, T); ST_FLAGS_PRINT(E); } while(0)
 332
 333 #define ST_CHECK_INIT() assert(st_init_done && "st_init() should be called first!")
 334
 335 #define ST_SENTRY_IS_CACHED(E) (MAGIC_SENTRY_ID(E) >= 1 && (int)MAGIC_SENTRY_ID(E) <= st_cached_magic_vars.sentries_num && st_cached_magic_vars.sentries[MAGIC_SENTRY_ID(E)-1].address == (E)->address)
 336 #define ST_GET_CACHED_COUNTERPART(CE,T,CT,LE) do {           \
 337         int _i = (CE)->id - 1;                               \
 338         assert(_i >= 0 && _i < st_counterparts.T##_size);    \
 339         LE = st_counterparts.CT[_i].counterpart;             \
 340     } while(0)
 341 #define ST_SET_CACHED_COUNTERPART(CE,T,CT,LE) do {           \
 342         int _i = (CE)->id - 1;                               \
 343         assert(_i >= 0 && _i < st_counterparts.T##_size);    \
 344         st_counterparts.CT[_i].counterpart = LE;             \
 345     } while(0)
 346 #define ST_HAS_CACHED_COUNTERPART(CE,CT) (st_counterparts.CT[(CE)->id - 1].counterpart != NULL)
 347
 348 #define ST_TYPE_IS_STATIC_CACHED_COUNTERPART(CE,LE) (((CE) >= &st_cached_magic_vars.types[0] && (CE) < &st_cached_magic_vars.types[st_cached_magic_vars.types_num]) && st_counterparts.types[(CE)->id - 1].counterpart == (LE))
 349 #define ST_TYPE_IS_DYNAMIC_CACHED_COUNTERPART(CE,LE) (MAGIC_TYPE_FLAG(CE,MAGIC_TYPE_DYNAMIC) && (CE)->type_id == MAGIC_TYPE_ARRAY && (LE)->type_id == MAGIC_TYPE_ARRAY && (CE)->num_child_types == (LE)->num_child_types && ST_TYPE_IS_STATIC_CACHED_COUNTERPART((CE)->contained_types[0], (LE)->contained_types[0]))
 350 #define ST_TYPE_IS_CACHED_COUNTERPART(CE,LE) (ST_TYPE_IS_STATIC_CACHED_COUNTERPART(CE,LE) || ST_TYPE_IS_DYNAMIC_CACHED_COUNTERPART(CE,LE))
 351 #define ST_PTR_TYPE_IS_STATIC_CACHED_COUNTERPART(CE,LE) (((CE) >= &st_cached_magic_vars.types[0] && (CE) < &st_cached_magic_vars.types[st_cached_magic_vars.types_num]) && st_counterparts.ptr_types[(CE)->id - 1].counterpart == (LE))
 352 #define ST_PTR_TYPE_IS_DYNAMIC_CACHED_COUNTERPART(CE,LE) (MAGIC_TYPE_FLAG(CE,MAGIC_TYPE_DYNAMIC) && (CE)->type_id == MAGIC_TYPE_ARRAY && (LE)->type_id == MAGIC_TYPE_ARRAY && (CE)->num_child_types == (LE)->num_child_types && ST_PTR_TYPE_IS_STATIC_CACHED_COUNTERPART((CE)->contained_types[0], (LE)->contained_types[0]))
 353 #define ST_PTR_TYPE_IS_CACHED_COUNTERPART(CE,LE) (ST_PTR_TYPE_IS_STATIC_CACHED_COUNTERPART(CE,LE) || ST_PTR_TYPE_IS_DYNAMIC_CACHED_COUNTERPART(CE,LE))
 354
 355
 356 /* Buffer allocation */
 357 PUBLIC void *st_cb_pages_allocate(st_init_info_t *info, uint32_t *phys, int num_pages);
 358 PUBLIC void st_cb_pages_free(st_init_info_t *info, st_alloc_pages *current_page);
 359 PUBLIC void *st_buff_allocate(st_init_info_t *info, size_t size);
 360 PUBLIC void st_buff_cleanup(st_init_info_t *info);
 361
 362 #endif /* ST_STATE_TRANSFER_H */