/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | if_freenameindex.c | 1 #include <net/if.h>
|
H A D | netname.c | 3 struct netent *getnetbyaddr(uint32_t net, int type) argument
|
H A D | if_nametoindex.c | 2 #include <net/if.h>
|
H A D | if_indextoname.c | 2 #include <net/if.h>
|
H A D | lookup_ipliteral.c | 4 #include <net/if.h>
|
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/plat/linux/ |
H A D | module.c | 21 static __net_init int cg_loopback_net_init(struct net *net) argument 23 return cg_loopback_net_init_ac(net); 26 static __net_exit void cg_loopback_net_exit(struct net *net) argument
|
H A D | abstract.h | 26 typedef struct net NetAbstractType;
|
H A D | linux_hdrs.h | 44 #include <net/sock.h> 45 #include <net/checksum.h> 52 #include <net/net_namespace.h>
|
/seL4-camkes-master/projects/picotcp/test/python/ |
H A D | topology.py | 28 self.sock = "/tmp/topology/net"+`self.n` 49 self.net = network 52 self.net.nodes.append(self) 60 net = eth.net 66 if (h.eth2.net.n == net.n) and (self not in h.eth1.net.hosts): 67 if h.eth1.net.n > net [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_net.c | 25 virtio_net_t *net = (virtio_net_t *)cookie; local 26 unsigned int offset = port_no - net->iobase; 28 int err = net->emul->io_in(net->emul, offset, size, &val); 39 virtio_net_t *net = (virtio_net_t *)cookie; local 40 unsigned int offset = port_no - net->iobase; 41 ret = net->emul->io_out(net->emul, offset, size, value); 80 virtio_net_t *net = (virtio_net_t *)config; local 83 driver->i_fn = net 175 virtio_net_t *net; local [all...] |
H A D | virtio_net_emul.c | 28 ethif_internal_t *net = emul->internal; local 32 void *vaddr = ps_dma_alloc(&net->dma_man, BUF_SIZE, net->driver.dma_alignment, 1, PS_MEM_NORMAL); 36 uintptr_t phys = ps_dma_pin(&net->dma_man, vaddr, BUF_SIZE); 44 ethif_internal_t *net = (ethif_internal_t *)emul->internal; local 61 /* the current buffer. -1 indicates the virtio net buffer */ 114 net->driver.i_fn.raw_handleIRQ(&net->driver, 0); 117 ps_dma_unpin(&net->dma_man, cookies[i], BUF_SIZE); 118 ps_dma_free(&net 125 ethif_internal_t *net = emul->internal; local 140 ethif_internal_t *net = (ethif_internal_t *)emul->internal; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_nat.c | 238 static struct pico_trans *pico_nat_generate_tuple_trans(struct pico_ipv4_hdr *net, struct pico_frame *f) argument 241 switch (net->proto) { 264 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local 275 if (pico_is_port_free(net->proto, nport, NULL, &pico_proto_ipv4)) 282 trans = pico_nat_generate_tuple_trans(net, f); 286 return pico_ipv4_nat_add(net->dst, trans->dport, net->src, trans->sport, nat_link->address, nport, net->proto); 287 /* XXX return pico_ipv4_nat_add(nat_link->address, port, net->src, trans->sport, net 308 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local 428 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local 493 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local [all...] |
H A D | pico_fragments.c | 60 static void pico_fragments_complete(unsigned int bookmark, uint8_t proto, uint8_t net); 61 static int pico_fragments_check_complete(struct pico_tree *tree, uint8_t proto, uint8_t net); 62 static int pico_fragments_reassemble(struct pico_tree *tree, unsigned int len, uint8_t proto, uint8_t net); 63 static int pico_fragments_get_more_flag(struct pico_frame *frame, uint8_t net); 64 static uint32_t pico_fragments_get_offset(struct pico_frame *frame, uint8_t net); 66 static uint16_t pico_fragments_get_header_length(uint8_t net); 181 static void pico_fragments_complete(unsigned int bookmark, uint8_t proto, uint8_t net) argument 186 else if (net == PICO_PROTO_IPV4) 192 else if (net == PICO_PROTO_IPV6) 216 static int pico_fragments_check_complete(struct pico_tree *tree, uint8_t proto, uint8_t net) argument 267 uint8_t net = 0; local 304 pico_fragments_reassemble(struct pico_tree *tree, unsigned int len, uint8_t proto, uint8_t net) argument 360 pico_fragments_get_header_length(uint8_t net) argument 380 pico_fragments_get_more_flag(struct pico_frame *frame, uint8_t net) argument 406 pico_fragments_get_offset(struct pico_frame *frame, uint8_t net) argument [all...] |
H A D | pico_dev_tap.c | 11 #include <net/if.h> 96 if((tap_fd = open("/dev/net/tun", O_RDWR)) < 0) { 146 #include <net/if_dl.h> 148 #include <net/if_types.h>
|
H A D | pico_dev_tun.c | 11 #include <net/if.h> 67 if((tun_fd = open("/dev/net/tun", O_RDWR)) < 0) {
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/ |
H A D | xenif_component.c | 37 #include <net/if.h>
|
H A D | if_virt.c | 43 #include <net/bpf.h> 44 #include <net/if.h> 45 #include <net/if_ether.h> 46 #include <net/if_tap.h>
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_ipv4.c | 81 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local 85 net->vhl = 0x45; /* version = 4, hdr len = 5 (32-bit words) */ 86 net->tos = 0; 87 net->len = short_be(32); /* hdr + data (bytes) */ 88 net->id = short_be(0x91c0); 89 net->frag = short_be(0x4000); /* don't fragment flag, offset = 0 */ 90 net->ttl = 64; 91 net->proto = 17; /* UDP */ 92 net->crc = 0; 93 net 125 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local 205 struct pico_ipv4_hdr *net = (struct pico_ipv4_hdr *)f->net_hdr; local [all...] |
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_socket.h | 25 # define IS_SOCK_IPV4(s) ((s->net == &pico_proto_ipv4)) 31 # define IS_SOCK_IPV6(s) ((s->net == &pico_proto_ipv6)) 47 struct pico_protocol *net; member in struct:pico_socket 180 struct pico_socket *pico_socket_open(uint16_t net, uint16_t proto, void (*wakeup)(uint16_t ev, struct pico_socket *s)); 216 # define is_sock_ipv4(x) (x->net == &pico_proto_ipv4) 222 # define is_sock_ipv6(x) (x->net == &pico_proto_ipv6) 249 int pico_is_port_free(uint16_t proto, uint16_t port, void *addr, void *net);
|
/seL4-camkes-master/tools/rumprun/platform/hw/tests/checksum/ |
H A D | test.sh | 13 qemu-system-i386 -net none -drive if=virtio,file=disk.img -display none \
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/predef/os/ |
H A D | bsd.h | 56 #include <msgpack/predef/os/bsd/net.h>
|
/seL4-camkes-master/projects/projects_libs/libvswitch/include/ |
H A D | vswitch.h | 20 #include <net/ethernet.h>
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | missing | 105 flex_URL=http://flex.sourceforge.net/
|
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
H A D | missing | 105 flex_URL=http://flex.sourceforge.net/
|
/seL4-camkes-master/projects/musllibc/include/netinet/ |
H A D | if_ether.h | 107 #include <net/ethernet.h> 108 #include <net/if_arp.h>
|