Merge remote-tracking branch 'origin/fix-cellconfig-segv' into integration_2023_w43

2023-10-30 10:22:23 +01:00
parent a828da1b3f 60d867a978
commit 57f0cb134c
17 changed files with 207 additions and 68 deletions
@@ -552,8 +552,6 @@ void itti_set_task_real_time(task_id_t task_id);
 void itti_send_terminate_message(task_id_t task_id);

 void *itti_malloc(task_id_t origin_task_id, task_id_t destination_task_id, ssize_t size);
-void *calloc_or_fail(size_t size);
-void *malloc_or_fail(size_t size);
 int memory_read(const char *datafile, void *data, size_t size);
 int itti_free(task_id_t task_id, void *ptr);