/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | mspace.h | 16 #include <allocman/properties.h> 23 struct allocman_properties properties; member in struct:mspace_interface
|
H A D | malloc.h | 35 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | null.h | 38 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | dual_pool.h | 44 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | fixed_pool.h | 44 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | virtual_pool.h | 47 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | vspace_pool.h | 55 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | cspace.h | 16 #include <allocman/properties.h> 25 struct allocman_properties properties; member in struct:cspace_interface
|
H A D | vka.h | 55 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | simple1level.h | 71 /* We could give arbitrary recursion properties here. Since we perform no 73 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | single_level.h | 69 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | two_level.h | 86 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | interface_registration.h | 26 char **properties); 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); 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/camkes-tool/libsel4camkes/src/ |
H A D | interface_registration.c | 43 char **properties; member in struct:interface_list 85 /* This is used to destroy any properties array that *we made a copy of* using copy_properties_array() */ 86 static inline void destroy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument 89 for (char *curr = *properties; curr != NULL; curr++) { 92 "Failed to cleanup properties from the properties array"); 96 static inline char **copy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument 98 assert(malloc_ops && properties); 102 for (char *curr = *properties; curr != NULL; curr++, num_strings++); 112 size_t property_len = strlen(properties[ 125 camkes_interface_register(void *cookie, ps_interface_type_t interface_type, void *interface_instance, char **properties) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | utspace.h | 17 #include <allocman/properties.h> 66 struct allocman_properties properties; member in struct:utspace_interface
|
H A D | split.h | 64 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | twinkle.h | 53 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
H A D | vka.h | 89 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | tpp | 32 def __call__(self, line, properties): 36 def notify(self, properties): 81 def __call__(self, line, properties): 82 if properties.get('condense', False) and not line.strip(): 91 def __call__(self, line, properties): 94 indentation = properties.get('lock_indent', None) 102 def __call__(self, line, properties): 103 cowsay = properties.get('cowsay') 111 del properties['cowsay'] 121 def __call__(self, line, properties) [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
|
/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 28 return (properties.alloc_can_alloc || !in_alloc) && (properties.free_can_alloc || !in_free); 31 static inline int _can_free(struct allocman_properties properties, size_t alloc_depth, size_t free_depth) argument 35 return (properties.alloc_can_free || !in_alloc) && (properties.free_can_free || !in_free); 91 if (!_can_free(alloc->space.properties, alloc->space##_alloc_depth, alloc->space##_free_depth)) { \ 182 if (!_can_alloc(alloc->mspace.properties, alloc->mspace_alloc_depth, alloc->mspace_free_depth)) { 229 if (!_can_alloc(alloc->cspace.properties, alloc->cspace_alloc_depth, alloc->cspace_free_depth)) { 275 if (!_can_alloc(alloc->utspace.properties, allo [all...] |
/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/camkes/parser/ |
H A D | fdtQueryEngine.py | 33 by path, alias and by matching against device properties. 38 PROPERTIES_STRING = "properties" 285 "two properties having the same name!") 402 properties = attr_dict.pop(self.PROPERTIES_STRING, None) 403 if not properties: 407 match based on the properties. 409 return self._match_nodes_by_attrs(properties, path_matches) 430 # convert the properties we retrieved to a dictionary 434 # properties are a tuple of (key, values) 499 help='Flattened device tree blob (.dtb) to query for device tree properties [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
|