/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_boot_init.c | 41 static int make_guest_cmd_line_continued(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, argument 83 int size = vbeinfo.vbeInterfaceLen + (pm_base - aligned_pm); local [all...] |
H A D | guest_image.c | 45 static int guest_elf_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument 51 static int guest_elf_read_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument 335 static int load_module_continued(vm_t *vm, uintptr_t paddr, void *addr, size_t size, size_t offset, void *cookie) argument
|
H A D | acpi.c | 55 make_guest_acpi_tables_continued(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_net_emul.c | 228 bool net_device_emul_io_in(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int *result) argument 247 bool net_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_net.c | 23 static int virtio_net_io_in(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument 36 static int virtio_net_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument 88 static void *malloc_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 100 static void malloc_dma_free(void *cookie, void *addr, size_t size) argument 105 static uintptr_t malloc_dma_pin(void *cookie, void *addr, size_t size) argument 110 static void malloc_dma_unpin(void *cookie, void *addr, size_t size) argument 114 static void malloc_dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_ argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | guest_memory_util.c | 85 size_t size; local
|
/seL4-camkes-master/projects/camkes/apps/vgatest/components/VGADriver/ |
H A D | vgadriver.c | 93 void terminal_write(const char* data, size_t size) { argument
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/ |
H A D | cpp03_define_array.hpp | 128 const size_t size = o.via.array.size; local 166 const size_t size = o.via.array.size; local 208 const size_t size = o.via.array.size; local 254 const size_t size = o.via.array.size; local 304 const size_t size = o.via.array.size; local 358 const size_t size = o.via.array.size; local 416 const size_t size = o.via.array.size; local 478 const size_t size = o.via.array.size; local 544 const size_t size = o.via.array.size; local 614 const size_t size = o.via.array.size; local 688 const size_t size = o.via.array.size; local 766 const size_t size = o.via.array.size; local 848 const size_t size = o.via.array.size; local 934 const size_t size = o.via.array.size; local 1024 const size_t size = o.via.array.size; local 1118 const size_t size = o.via.array.size; local 1216 const size_t size = o.via.array.size; local 1318 const size_t size = o.via.array.size; local 1424 const size_t size = o.via.array.size; local 1534 const size_t size = o.via.array.size; local 1648 const size_t size = o.via.array.size; local 1766 const size_t size = o.via.array.size; local 1888 const size_t size = o.via.array.size; local 2014 const size_t size = o.via.array.size; local 2144 const size_t size = o.via.array.size; local 2278 const size_t size = o.via.array.size; local 2416 const size_t size = o.via.array.size; local 2558 const size_t size = o.via.array.size; local 2704 const size_t size = o.via.array.size; local 2854 const size_t size = o.via.array.size; local 3008 const size_t size = o.via.array.size; local 3166 const size_t size = o.via.array.size; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/detail/ |
H A D | cpp03_zone.hpp | 158 static void* operator new(std::size_t size) argument 168 static void* operator new(std::size_t size, void* place) /* throw() */ argument 247 inline void* zone::allocate_align(size_t size, size_t align) argument 264 allocate_no_align(size_t size) argument 277 allocate_expand(size_t size) argument 342 undo_allocate(size_t size) argument 348 aligned_size( std::size_t size, std::size_t align = MSGPACK_ZONE_ALIGN) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | unpack.c | 375 msgpack_unpacker_expand_buffer(msgpack_unpacker* mpac, size_t size) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | usb.c | 81 static inline struct usbreq __new_desc_req(enum DescriptorType t, int size) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 117 static void *_try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument 171 static void *_allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument 313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument 466 resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) argument 499 resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) argument [all...] |
/seL4-camkes-master/projects/musllibc/arch/aarch64/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|
/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_rw.c | 174 int fdt_add_mem_rsv(void *fdt, uint64_t address, uint64_t size) argument
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | mmap.c | 381 void populate_mapping(const void* start, size_t size, int prot) argument
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | memalloc.c | 229 bmk_memcalloc(unsigned long n, unsigned long size, enum bmk_memwho who) argument 311 unsigned long size; local [all...] |
H A D | subr_prf.c | 172 bmk_snprintf(char *bf, unsigned long size, const char *fmt, ...) argument 192 bmk_vsnprintf(char *bf, unsigned long size, const char *fmt, va_list ap) argument 291 int size; /* size o local [all...] |
/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | crypt_blowfish.c | 374 static int BF_decode(BF_word *dst, const char *src, int size) argument 398 static void BF_encode(char *dst, const BF_word *src, int size) argument
|
/seL4-camkes-master/projects/musllibc/src/malloc/ |
H A D | malloc.c | 464 size_t final_size, new_size, size; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_6lowpan_ll.c | 117 static int32_t ctx_insert(struct pico_ip6 addr, uint8_t id, uint8_t size, pico_time lifetime, uint8_t flags, struct pico_device *dev) argument 138 void ctx_update(struct pico_ip6 addr, uint8_t id, uint8_t size, pico_time lifetime, uint8_t flags, struct pico_device *dev) argument 260 pico_6lowpan_frame_alloc(struct pico_protocol *self, struct pico_device *dev, uint16_t size) argument [all...] |
H A D | pico_802154.c | 418 pico_frame_alloc_with_headroom(uint16_t size, uint16_t headroom, uint16_t overhead) argument 434 pico_802154_frame_alloc(struct pico_device *dev, uint16_t size) argument [all...] |
H A D | pico_aodv.c | 148 int size; local
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_mem_manager.c | 88 size_t size = 50; local 677 uint16_t size = 50; local 854 uint16_t size = 50; local 959 uint32_t size = 900; local 1120 size_t size = 100; local 1165 uint16_t size = 50; local 1279 uint32_t size = 900; local 1376 uint32_t size = 50; local 1620 uint32_t size = 50; local 1813 uint32_t size = 50; local [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/ |
H A D | multiboot.h | 106 multiboot_uint32_t size; member in struct:multiboot_elf_section_header_table 161 multiboot_uint32_t size; member in struct:multiboot_mmap_entry
|