/seL4-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_msp430.h | 26 static inline void *pico_zalloc(size_t size) argument
|
H A D | pico_pic32.h | 28 static inline void *pico_zalloc(size_t size) argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4HardwareMMIO.template.c | 91 _translate_paddr( uintptr_t paddr, size_t size) argument [all...] |
/seL4-camkes-master/kernel/src/ |
H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument 28 word_t strlcat(char *dest, const char *src, word_t size) argument
|
/seL4-camkes-master/kernel/include/machine/ |
H A D | debug.h | 53 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | chardev.h | 21 int size; member in struct:dev_defn
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device.h | 30 seL4_Word size; member in struct:device
|
H A D | guest_image.h | 30 size_t size; member in struct:guest_image
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_memory_arch.c | 11 uintptr_t vm_arm_ipa_to_pa(vm_t *vm, uintptr_t ipa_base, size_t size) argument
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_dump.c | 12 static int encode_null_callback(const char *buffer, size_t size, void *data) argument
|
H A D | test_memory_funcs.c | 25 static void *my_malloc(size_t size) argument 53 static void *secure_malloc(size_t size) argument 63 size_t size; local
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/boost/ |
H A D | string_ref.hpp | 52 uint32_t size = checked_get_container_size(v.size()); local 62 uint32_t size = checked_get_container_size(v.size()); local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | char_ptr.hpp | 31 uint32_t size = checked_get_container_size(std::strlen(v)); local 41 uint32_t size = checked_get_container_size(std::strlen(v)); local 53 uint32_t size = checked_get_container_size(std::strlen(v)); local 87 uint32_t size = checked_get_container_size(std::strlen(v)); local 97 uint32_t size = checked_get_container_size(std::strlen(v)); local 109 uint32_t size = checked_get_container_size(std::strlen(v)); local 120 uint32_t size = checked_get_container_size(std::strlen(v)); local 130 uint32_t size = checked_get_container_size(std::strlen(v)); local 142 uint32_t size = checked_get_container_size(std::strlen(v)); local [all...] |
H A D | deque.hpp | 67 uint32_t size = checked_get_container_size(v.size()); local 85 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | list.hpp | 64 uint32_t size = checked_get_container_size(v.size()); local 83 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | set.hpp | 70 uint32_t size = checked_get_container_size(v.size()); local 89 uint32_t size = checked_get_container_size(v.size()); local 147 uint32_t size = checked_get_container_size(v.size()); local 165 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | string.hpp | 49 uint32_t size = checked_get_container_size(v.size()); local 59 uint32_t size = checked_get_container_size(v.size()); local 69 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | vector.hpp | 72 uint32_t size = checked_get_container_size(v.size()); local 91 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | vector_bool.hpp | 47 uint32_t size = checked_get_container_size(v.size()); local 65 uint32_t size = checked_get_container_size(v.size()); local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/cpp11/ |
H A D | array_char.hpp | 51 uint32_t size = checked_get_container_size(v.size()); local 62 uint32_t size = checked_get_container_size(v.size()); local 72 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | array_unsigned_char.hpp | 51 uint32_t size = checked_get_container_size(v.size()); local 53 o.pack_bin_body(reinterpret_cast<char const*>(v.data()), size); local 62 uint32_t size = checked_get_container_size(v.size()); local 72 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | forward_list.hpp | 61 uint32_t size = checked_get_container_size(std::distance(v.begin(), v.end())); local 76 uint32_t size = checked_get_container_size(std::distance(v.begin(), v.end())); local
|
H A D | unordered_map.hpp | 64 uint32_t size = checked_get_container_size(v.size()); local 83 uint32_t size = checked_get_container_size(v.size()); local 138 uint32_t size = checked_get_container_size(v.size()); local 157 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | unordered_set.hpp | 62 uint32_t size = checked_get_container_size(v.size()); local 80 uint32_t size = checked_get_container_size(v.size()); local 131 uint32_t size = checked_get_container_size(v.size()); local 149 uint32_t size = checked_get_container_size(v.size()); local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/tr1/ |
H A D | unordered_set.hpp | 66 uint32_t size = checked_get_container_size(v.size()); local 84 uint32_t size = checked_get_container_size(v.size()); local 120 uint32_t size = checked_get_container_size(v.size()); local 138 uint32_t size = checked_get_container_size(v.size()); local [all...] |