Searched refs:interface_search_handler (Results 1 - 3 of 3) sorted by relevance

/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) function
76 interface_search_handler, NULL);
/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) function
104 interface_search_handler, reset);
H A Dclock.c184 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) function
231 interface_search_handler, clk);

Completed in 36 milliseconds