VKNETIF_MAX
KASSERT(NetifNum <= VKNETIF_MAX, ("too many netifs: %d", NetifNum));
extern struct vknetif_info NetifInfo[VKNETIF_MAX];
if (NetifNum >= VKNETIF_MAX) /* XXX will this happen? */
char *netifFile[VKNETIF_MAX];
if (netifFileNum < VKNETIF_MAX)
struct vknetif_info NetifInfo[VKNETIF_MAX];