Searched refs:properties (Results 1 - 25 of 32) sorted by relevance

12

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dmspace.h16 #include <allocman/properties.h>
23 struct allocman_properties properties; member in struct:mspace_interface
H A Dmalloc.h35 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dnull.h38 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Ddual_pool.h44 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dfixed_pool.h44 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dvirtual_pool.h47 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dvspace_pool.h55 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dcspace.h16 #include <allocman/properties.h>
25 struct allocman_properties properties; member in struct:cspace_interface
H A Dvka.h55 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dsimple1level.h71 /* We could give arbitrary recursion properties here. Since we perform no
73 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dsingle_level.h69 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dtwo_level.h86 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dinterface_registration.h26 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 Dinterface_registration.c43 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 Dutspace.h17 #include <allocman/properties.h>
66 struct allocman_properties properties; member in struct:utspace_interface
H A Dsplit.h64 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dtwinkle.h53 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
H A Dvka.h89 .properties = ALLOCMAN_DEFAULT_PROPERTIES,
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dtpp32 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 Dserver.c64 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c24 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 Dreset.c65 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument
H A Dclock.c184 static int interface_search_handler(void *handler_data, void *interface_instance, char **properties) argument
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A DfdtQueryEngine.py33 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 Dserver.c187 static int hardware_interface_searcher(void *cookie, void *interface_instance, char **properties) argument

Completed in 126 milliseconds

12