VNET_START
if (value < VNET_START || value >= VNET_STOP)
vnet_save_init((void *)VNET_START, VNET_STOP - VNET_START);
ef->vnet_start = VNET_START;
ef->vnet_base = VNET_START;
#define VNET_BYTES (VNET_STOP - VNET_START)
memcpy(vnet->vnet_data_mem, (void *)VNET_START, VNET_BYTES);
vnet->vnet_data_base = (uintptr_t)vnet->vnet_data_mem - VNET_START;
MPASS(VNET_START <= (uintptr_t)start &&
memcpy((void *)(vnet_init_var + ((uintptr_t)start - VNET_START)),
MPASS(VNET_START <= (uintptr_t)start &&
(void *)(vnet_init_var + ((uintptr_t)start - VNET_START)), size);