Searched refs:interface_instance (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dinterface_registration.h25 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 Dinterface_registration.c42 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 Dserver.c64 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 Dreset.c65 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument
69 reset->bpmp = (struct tx2_bpmp *) interface_instance;
H A Dclock.c184 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 Dserver.c187 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 Dethdriver.c197 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 Dethdriver.c369 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 Ddwc_eth_qos.c793 static int hardware_interface_searcher(void *handler_data, void *interface_instance, char **properties) argument
798 *((void **) handler_data) = interface_instance;

Completed in 177 milliseconds