Searched refs:word_size (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libutils/src/ |
| H A D | debug.c | 24 md_print_line(void* address, int word_size) argument
27 int num_objects = MD_BYTES_PER_LINE / word_size;
31 int object_offset = object * word_size;
32 if (MD_GROUPING > word_size && object % ((MD_GROUPING) / word_size) == 0) {
35 switch (word_size) {
75 utils_memory_dump(void* address, size_t bytes, int word_size) argument
78 if (word_size == 1 || word_size == 2 || word_size
[all...] |
| /seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/ |
| H A D | virtqueueScript.sml | 55 val word_size = Utils.get_word_size () value
56 val buf = Word8Array.array (word_size + 1) (Word8.fromInt 0);
60 get_result buf (fn buf => Word8Array.copy buf 1 word_size (virtqueue_ptr virtqueue) 0)
67 val word_size = Utils.get_word_size () value
68 val buf = Word8Array.array (word_size + 1) (Word8.fromInt 0);
72 get_result buf (fn buf => Word8Array.copy buf 1 word_size (virtqueue_ptr virtqueue) 0)
78 val word_size = Utils.get_word_size () value
79 val buf = Word8Array.array (word_size + 1) (Word8.fromInt 0);
80 val _ = Word8Array.copy virtqueue 0 word_size buf 1;
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...] |
| /seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
| H A D | debug.h | 30 * @param[in] word_size The number of bytes in a displayed word
32 void utils_memory_dump(void* address, size_t bytes, int word_size);
|
| /seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/ |
| H A D | componentScript.sml | 62 val word_size = Utils.get_word_size () value
63 val buf = Word8Array.array (word_size + 1) (Word8.fromInt 0);
65 in Utils.bytes_to_int buf 1 word_size end
|
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 145 def double_word_expression(self, var_name, word_num, word_size):
153 word_size)
|
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 145 def double_word_expression(self, var_name, word_num, word_size):
153 word_size)
|
Completed in 45 milliseconds