libsel4vmmplatsupport/src/guest_memory_util.c

172     err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct device_frame_cookie), (void **)&cookie);
183         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
191         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
201         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
215         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
232     err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct device_frame_cookie), (void **)&cookie);
243         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
251         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
266         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
275         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
290         ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie);
301     int err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct ut_alloc_iterator_cookie), (void **)&cookie);
316     int err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct ut_alloc_iterator_cookie), (void **)&cookie);