VEB_VID_BYTES
free(map, M_IFADDR, VEB_VID_BYTES);
#define VEB_VID_WORDS (VEB_VID_BYTES / sizeof(uint32_t))