| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
| H A D | mspace.h | 23 struct allocman_properties properties; member in struct:mspace_interface
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | cspace.h | 25 struct allocman_properties properties; member in struct:cspace_interface
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 66 struct allocman_properties properties; member in struct:utspace_interface
|
| /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
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | interface_registration.h | 51 ps_interface_register(ps_interface_registration_ops_t *interface_registration_ops, ps_interface_type_t interface_type, void *interface_instance, char **properties) argument
|
| /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
|
| H A D | clock.c | 184 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | interface_registration.c | 43 char **properties; member in struct:interface_list
86 static inline void destroy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument
96 static inline char **copy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument
125 camkes_interface_register(void *cookie, ps_interface_type_t interface_type, void *interface_instance, char **properties) argument
[all...] |
| /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
|
| /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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | allocman.c | 24 static inline int _can_alloc(struct allocman_properties properties, size_t alloc_depth, size_t free_depth) argument
31 static inline int _can_free(struct allocman_properties properties, size_t alloc_depth, size_t free_depth) argument
[all...] |
| /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
|
| /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
|