static void *
-host_allocate_pages(int num_pages, unsigned int alignment)
+host_allocate_pages(int num_pages, unsigned int alignment, int node_id, int constraint)
{
// allocates pages preferentially on the caller's node
- return palacios_allocate_pages(num_pages, alignment, -1);
+ return palacios_allocate_pages(num_pages, alignment, node_id, constraint);
}
void (*print)(void *vm , int core, const char * format, ...)
__attribute__ ((format (printf, 3, 4)));
- void *(*allocate_pages)(int num_pages, unsigned int alignment);
+ void *(*allocate_pages)(int num_pages, unsigned int alignment, int node_id, int constraints);
void (*free_pages)(void * page, int num_pages);
void *(*malloc)(unsigned int size);
if (ns->timer) {
v3_remove_timer(core,ns->timer);
}
+
+ v3_lock_deinit(&(ns->rx_lock));
+ v3_lock_deinit(&(ns->tx_lock));
+
+
return 0;
}
V3_Free(backend);
}
- v3_lock_deinit(&(virtio->rx_lock));
- v3_lock_deinit(&(virtio->tx_lock));
-
V3_Free(virtio);
return 0;