2 /* Copyright (c) 2009 The SimGrid Team. All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #include "surf_private.h"
10 void surf_resource_free(void* r) {
11 surf_resource_t resource = r;
17 const char *surf_resource_name(const void *resource) {
18 return ((surf_resource_t)resource)->name;