vnet_data_copy
vnet_data_copy((void *)ef->vnet_base, size);
vnet_data_copy(ef->progtab[i].addr,
void vnet_data_copy(void *start, int size);