/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | socket.c | 6 int socket(int domain, int type, int protocol) argument
|
H A D | socketpair.c | 6 int socketpair(int domain, int type, int protocol, int fd[2]) argument
|
H A D | res_querydomain.c | 4 int res_querydomain(const char *name, const char *domain, int class, int type, unsigned char *dest, int len) argument
|
/seL4-camkes-master/projects/lwip/test/unit/mdns/ |
H A D | test_mdns.c | 43 struct mdns_domain domain; local 62 struct mdns_domain domain; local 81 struct mdns_domain domain; local 106 struct mdns_domain domain; local 162 struct mdns_domain domain; local 187 struct mdns_domain domain; local 216 struct mdns_domain domain; local 250 struct mdns_domain domain; local 276 struct mdns_domain domain; local 298 struct mdns_domain domain; local 317 struct mdns_domain domain; local 337 struct mdns_domain domain; local 357 struct mdns_domain domain; local 373 struct mdns_domain domain; local 392 struct mdns_domain domain; local 407 struct mdns_domain domain; local 599 struct mdns_domain domain; local 634 struct mdns_domain domain; local 671 struct mdns_domain domain; local 706 struct mdns_domain domain; local 740 struct mdns_domain domain; local 775 struct mdns_domain domain; local 812 struct mdns_domain domain; local 852 struct mdns_domain domain; local [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_socket.c | 28 int domain = va_arg(ap, int); local
|
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 141 static size_t find_reference(cbor64_domain_t *domain, char *string) argument 158 static int new_reference(base64_t *streamer, cbor64_domain_t *domain, size_t index) argument 204 emit_reference(base64_t *streamer, cbor64_domain_t *domain, char *string) argument 240 cbor64_string_ref(base64_t *streamer, cbor64_domain_t *domain, char *string) argument 252 cbor64_utf8_ref(base64_t *streamer, cbor64_domain_t *domain, char *string) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | vchan_copy.h | 27 int domain; member in struct:vchan_ctrl
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | pcifront.c | 281 parsepciaddr(const char *s, unsigned int *domain, unsigned int *bus, argument 310 void pcifront_scan(struct pcifront_dev *dev, void (*func)(unsigned int domain, unsigned int bus, unsigned slot, unsigned int fun)) argument 315 unsigned int domain, bus, slot; local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/src/ |
H A D | vchan_component.c | 45 libvchan_t *libvchan_server_init(int domain, int port, size_t read_min, size_t write_min) argument 53 libvchan_t *libvchan_client_init(int domain, int port) argument 61 libvchan_t *vchan_init(int domain, int port, int server) argument [all...] |
/seL4-camkes-master/projects/lwip/test/unit/api/ |
H A D | test_sockets.c | 62 test_sockets_alloc_socket_nonblocking(int domain, int type) argument 107 static void test_sockets_allfunctions_basic_domain(int domain) argument 219 static void test_sockets_init_loopback_addr(int domain, struct sockaddr_storage *addr_st, socklen_t *sz) argument 278 static void test_sockets_msgapi_tcp(int domain) argument 473 test_sockets_msgapi_udp(int domain) argument 548 test_sockets_msgapi_cmsg(int domain) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 72 seL4_CPtr domain; member in struct:env
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dns_client.c | 553 char *domain; local 602 char *domain; local [all...] |
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | cbor64.h | 445 static inline int cbor64_string_ref_domain(base64_t *streamer, char **strings, cbor64_domain_t *domain) argument 464 cbor64_shared_value_domain(char **strings, cbor64_domain_t *domain) argument [all...] |
/seL4-camkes-master/kernel/include/object/ |
H A D | structures.h | 31 dom_t domain; member in struct:dschedule
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | sockets.c | 1685 lwip_socket(int domain, int type, int protocol) argument [all...] |
/seL4-camkes-master/projects/lwip/src/apps/mdns/ |
H A D | mdns.c | 264 struct mdns_domain domain; member in struct:mdns_rr_info 291 mdns_domain_add_label_base(struct mdns_domain *domain, u8_t len) argument 316 mdns_domain_add_label(struct mdns_domain *domain, const char *label, u8_t len) argument 333 mdns_domain_add_label_pbuf(struct mdns_domain *domain, const struct pbuf *p, u16_t offset, u8_t len) argument 355 mdns_readname_loop(struct pbuf *p, u16_t offset, struct mdns_domain *domain, unsigned depth) argument 421 mdns_readname(struct pbuf *p, u16_t offset, struct mdns_domain *domain) argument 432 mdns_domain_debug_print(struct mdns_domain *domain) argument 509 mdns_build_reverse_v4_domain(struct mdns_domain *domain, const ip4_addr_t *addr) argument 549 mdns_build_reverse_v6_domain(struct mdns_domain *domain, const ip6_addr_t *addr) argument 588 mdns_add_dotlocal(struct mdns_domain *domain) argument 603 mdns_build_host_domain(struct mdns_domain *domain, struct mdns_host *mdns) argument 620 mdns_build_dnssd_domain(struct mdns_domain *domain) argument 644 mdns_build_service_domain(struct mdns_domain *domain, struct mdns_service *service, int include_name) argument 788 mdns_compress_domain(struct pbuf *pbuf, u16_t *offset, struct mdns_domain *domain) argument 837 mdns_write_domain(struct mdns_outpacket *outpkt, struct mdns_domain *domain) argument 900 mdns_add_question(struct mdns_outpacket *outpkt, struct mdns_domain *domain, u16_t type, u16_t klass, u16_t unicast) argument 968 mdns_add_answer(struct mdns_outpacket *reply, struct mdns_domain *domain, u16_t type, u16_t klass, u16_t cache_flush, u32_t ttl, const u8_t *buf, size_t buf_length, struct mdns_domain *answer_domain) argument 1816 struct mdns_domain domain; local 1952 struct mdns_domain domain; local [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | tcb.c | 1550 word_t domain; local
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 265 uint8_t domain; member in struct:__anon46
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 957 makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, bool_t cacheable, bool_t nonexecutable, word_t domain, vm_rights_t vm_rights) argument
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | sysproxy.c | 812 int domain; member in struct:__anon893
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1321 uint32_t UNUSED domain = CDL_TCB_Domain(cdl_tcb); local
|