vnet_data_free
vnet_data_free((void *)ef->vnet_base,
vnet_data_free(ef->progtab[i].addr,
TAILQ_ENTRY(vnet_data_free) vnd_link;
static TAILQ_HEAD(, vnet_data_free) vnet_data_free_head =
struct vnet_data_free *df;
struct vnet_data_free *df;
struct vnet_data_free *df;
struct vnet_data_free *dn;
void vnet_data_free(void *start_arg, int size);