Newer
Older
#include <bsd/porting/netport.h>
#include <bsd/sys/sys/libkern.h>
#include <bsd/sys/sys/eventhandler.h>
#include <bsd/sys/sys/mbuf.h>
#include <bsd/sys/net/if_llatbl.h>
#include <bsd/sys/netinet/if_ether.h>
#include <bsd/sys/netinet/in_pcb.h>
#include <bsd/sys/net/ethernet.h>
/* Generation of ip ids */
void ip_initid(void);
/* AF_ROUTE */
extern struct domain routedomain;
/* Random */
struct timeval tv;
bsd_srandom(tv.tv_sec ^ tv.tv_usec);
tunable_mbinit(NULL);
// init_maxsockets(NULL);
eventhandler_init(NULL);
if_init(NULL);
vnet_if_init(NULL);
ether_init(NULL);
vnet_lltable_init();
igmp_init();
vnet_igmp_init();
domaininit(NULL);
OSV_DOMAIN_SET(inet);
rts_init();
route_init();
vnet_route_init();
ipport_tick_init(NULL);
arp_init();