Searched refs:interface_instance (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | interface_registration.h | 25 typedef int (*ps_interface_register_fn_t)(void *cookie, ps_interface_type_t interface_type, void *interface_instance, 28 typedef int (*ps_interface_unregister_fn_t)(void *cookie, ps_interface_type_t interface_type, void *interface_instance); 39 typedef int (*ps_interface_search_handler_fn_t)(void *handler_data, void *interface_instance, char **properties); 52 ps_interface_type_t interface_type, void *interface_instance, char **properties) 56 interface_instance, properties); 60 ps_interface_type_t interface_type, void *interface_instance) 64 interface_type, interface_instance); 51 ps_interface_register(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, void *interface_instance, char **properties) argument 59 ps_interface_unregister(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, void *interface_instance) argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | interface_registration.c | 42 void *interface_instance; member in struct:interface_list 64 if (a->interface_instance == b->interface_instance) { 125 int camkes_interface_register(void *cookie, ps_interface_type_t interface_type, void *interface_instance, argument 128 if (!interface_instance && interface_type != PS_NULL_INTERFACE) { 145 interface_list_t dummy_inner_node = { .interface_instance = interface_instance }; 182 new_node->interface_instance = interface_instance; 208 int camkes_interface_unregister(void *cookie, ps_interface_type_t interface_type, void *interface_instance) argument [all...] |
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/src/ |
H A D | server.c | 64 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument 67 bpmp = (struct tx2_bpmp *) interface_instance;
|
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | reset.c | 65 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument 69 reset->bpmp = (struct tx2_bpmp *) interface_instance;
|
H A D | clock.c | 184 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument 188 clk->bpmp = (struct tx2_bpmp *) interface_instance;
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 187 static int hardware_interface_searcher(void *cookie, void *interface_instance, char **properties) argument 191 state->eth_driver = interface_instance;
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | ethdriver.c | 197 static int hardware_interface_searcher(void *cookie, void *interface_instance, char **properties) argument 200 eth_driver = interface_instance;
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/ |
H A D | ethdriver.c | 369 static int hardware_interface_searcher(void *cookie, void *interface_instance, char **properties) argument 372 eth_driver = interface_instance;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | dwc_eth_qos.c | 793 static int hardware_interface_searcher(void *handler_data, void *interface_instance, char **properties) argument 798 *((void **) handler_data) = interface_instance;
|
Completed in 177 milliseconds