/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | gim.c | 31 struct rbt_node *node; local 57 struct rbt_node *node = root->rbt_node; local 134 struct rbt_node *node; local [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/ |
H A D | rbt.h | 104 rbt_next(const struct rbt_node *node) argument [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/ |
H A D | rbt.h | 103 rbt_next(const struct rbt_node *node) argument [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.h | 36 const struct fdt_scan_node *node; member in struct:fdt_scan_prop
|
H A D | htif.c | 122 static void htif_open(const struct fdt_scan_node *node, void *extra) argument 136 static void htif_done(const struct fdt_scan_node *node, void *extra) argument
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_radio_mgr.c | 245 struct socket *node = pico_radio_mgr_socket_node(id); local 278 uint8_t buf[MESSAGE_MTU] = { 0 }, node = 0, phy = 0; local [all...] |
H A D | pico_icmp4.c | 416 struct pico_tree_node *node; local
|
H A D | pico_ipfilter.c | 407 struct filter_node *node = NULL; local
|
H A D | pico_aodv.c | 80 static int aodv_peer_refresh(struct pico_aodv_node *node, uint32_t seq) argument 92 static void aodv_elect_route(struct pico_aodv_node *node, union pico_address *gw, uint8_t metric, struct pico_device *dev) argument 109 struct pico_aodv_node *node = PICO_ZALLOC(sizeof(struct pico_aodv_node)); local 126 struct pico_aodv_node *node = NULL; local 187 aodv_lifetime(struct pico_aodv_node *node) argument 201 aodv_send_reply(struct pico_aodv_node *node, struct pico_aodv_rreq *req, int node_is_local, struct pico_msginfo *info) argument 254 aodv_recv_valid_rreq(struct pico_aodv_node *node, struct pico_aodv_rreq *req, struct pico_msginfo *info) argument 288 struct pico_aodv_node *node = NULL; local 329 struct pico_aodv_node *node = NULL; local 401 struct pico_aodv_node *node; local 449 aodv_make_rreq(struct pico_aodv_node *node, struct pico_aodv_rreq *req) argument 470 struct pico_aodv_node *node = (struct pico_aodv_node *)arg; local 525 aodv_send_req(struct pico_aodv_node *node) argument 572 pico_aodv_expired(struct pico_aodv_node *node) argument 586 struct pico_aodv_node *node; local 644 struct pico_aodv_node *node = get_node_by_addr(addr); local 652 struct pico_aodv_node *node = get_node_by_addr(addr); local [all...] |
H A D | pico_dns_client.c | 137 struct pico_tree_node *node = NULL, *nxtnode = NULL; local
|
H A D | pico_icmp6.c | 883 struct pico_tree_node *node; local
|
/seL4-camkes-master/kernel/include/smp/ |
H A D | lock.h | 34 clh_qnode_t *node; member in struct:clh_qnode_p
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getnameinfo.c | 124 getnameinfo(const struct sockaddr *restrict sa, socklen_t sl, char *restrict node, socklen_t nodelen, char *restrict serv, socklen_t servlen, int flags) argument
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_tree.c | 62 struct pico_tree_node *pico_tree_firstNode(struct pico_tree_node *node) argument 69 pico_tree_lastNode(struct pico_tree_node *node) argument 76 pico_tree_next(struct pico_tree_node *node) argument 101 pico_tree_prev(struct pico_tree_node *node) argument 364 rotateToRight(struct pico_tree *tree, struct pico_tree_node *node) argument 493 fix_delete_collisions(struct pico_tree*tree, struct pico_tree_node *node) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | hashtable.c | 41 static JSON_INLINE void list_insert(list_t *list, list_t *node) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 51 static void free_node(io_mapping_t *node) argument 102 static void insert_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node) argument 123 remove_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node) argument [all...] |
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_mib2_system.c | 230 system_get_value(const struct snmp_scalar_array_node_def *node, void *value) argument 281 system_set_test(const struct snmp_scalar_array_node_def *node, u16_t len, void *value) argument 327 system_set_value(const struct snmp_scalar_array_node_def *node, u16_t len, void *value) argument [all...] |
H A D | snmp_snmpv2_usm.c | 331 static s16_t usmstats_scalars_get_value(const struct snmp_scalar_array_node_def *node, void *value) argument [all...] |
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 146 int list_properties(const void *blob, int node) argument 174 int list_subnodes(const void *blob, int node) argument 230 show_data_for_item(const void *blob, struct display_info *disp, int node, const char *property) argument 279 int i, node; local [all...] |
H A D | fdt_overlay.c | 161 static int overlay_phandle_add_offset(void *fdt, int node, argument 201 overlay_adjust_node_phandles(void *fdto, int node, uint32_t delta) argument 601 overlay_apply_node(void *fdt, int target, void *fdto, int node) argument [all...] |
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_aodv.c | 75 struct pico_aodv_node node; local 103 struct pico_aodv_node node; local 149 struct pico_aodv_node *node = NULL; local 181 struct pico_aodv_node node; local 233 struct pico_aodv_node node; local 304 struct pico_aodv_node node; local 351 struct pico_aodv_node node; local 359 struct pico_aodv_node node; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 39 irq_server_node_t *node; member in struct:irq_server_thread 84 static irq_id_t irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback, argument [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | io.c | 55 ll_t *node = NULL; local 68 ll_t *node = NULL; local [all...] |
H A D | dma.c | 120 static void prepend_node(region_t *node) argument 126 static void remove_node(region_t *previous, region_t *node) argument 146 shrink_node(region_t *node, size_t by) argument 152 grow_node(region_t *node, size_t by) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4dma/src/ |
H A D | dma.c | 63 struct dma_memd_node *node; member in struct:dma_mem [all...] |