2013-04-18 04:19:02 -07:00
|
|
|
#ifdef HAVE_CONFIG_H
|
|
|
|
# include <config.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include "eo_ptr_indirection.h"
|
|
|
|
|
|
|
|
/* Tables handling pointers indirection */
|
2013-07-01 01:09:02 -07:00
|
|
|
_Eo_Ids_Table **_eo_ids_tables[MAX_MID_TABLE_ID] = { NULL };
|
2013-05-05 06:08:55 -07:00
|
|
|
|
|
|
|
/* Current table used for following allocations */
|
2013-07-01 01:09:02 -07:00
|
|
|
_Eo_Ids_Table *_current_table = NULL;
|
2013-04-18 04:19:02 -07:00
|
|
|
|
2013-05-17 01:35:16 -07:00
|
|
|
/* Spare empty table */
|
2013-07-01 01:09:02 -07:00
|
|
|
_Eo_Ids_Table *_empty_table = NULL;
|
2013-05-17 01:35:16 -07:00
|
|
|
|
2013-04-18 04:19:02 -07:00
|
|
|
/* Next generation to use when assigning a new entry to a Eo pointer */
|
2013-05-16 02:50:21 -07:00
|
|
|
Generation_Counter _eo_generation_counter = 0;
|
2015-12-29 02:42:05 -08:00
|
|
|
|
|
|
|
void
|
|
|
|
_eo_pointer_error(const char *msg)
|
|
|
|
{
|
|
|
|
ERR("%s", msg);
|
|
|
|
}
|