Searched defs:word_size (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libutils/src/
H A Ddebug.c24 md_print_line(void* address, int word_size) argument
75 utils_memory_dump(void* address, size_t bytes, int word_size) argument
[all...]
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/
H A DcomponentScript.sml62 val word_size = Utils.get_word_size () value
/seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/
H A DvirtqueueScript.sml55 val word_size = Utils.get_word_size () value
67 val word_size = Utils.get_word_size () value
78 val word_size = Utils.get_word_size () value
87 val word_size value
97 val word_size = Utils.get_word_size () value
113 val word_size = Utils.get_word_size () value
122 val word_size = Utils.get_word_size () value
135 val word_size = Utils.get_word_size () value
144 val word_size = Utils.get_word_size () value
[all...]

Completed in 37 milliseconds