VNET_STOP
if (value < VNET_START || value >= VNET_STOP)
vnet_save_init((void *)VNET_START, VNET_STOP - VNET_START);
ef->vnet_stop = VNET_STOP;
#define VNET_BYTES (VNET_STOP - VNET_START)
(uintptr_t)start + size <= VNET_STOP);
(uintptr_t)start + size <= VNET_STOP);