/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_frame.c | 67 static struct pico_frame *pico_frame_do_alloc(uint32_t size, int zerocopy, int ext_buffer) argument 126 struct pico_frame *pico_frame_alloc(uint32_t size) argument 132 pico_frame_new_buffer(struct pico_frame *f, uint32_t size, uint32_t *oldsize) argument 188 pico_frame_grow_head(struct pico_frame *f, uint32_t size) argument 203 pico_frame_grow(struct pico_frame *f, uint32_t size) argument 218 pico_frame_alloc_skeleton(uint32_t size, int ext_buffer) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/ |
H A D | github_commits.c | 36 static size_t write_response(void *ptr, size_t size, size_t nmemb, void *stream) argument
|
/seL4-camkes-master/kernel/src/arch/arm/armv/armv8-a/64/ |
H A D | cache.c | 39 word_t size, csselr_old; local
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/ |
H A D | sbi.h | 109 sbi_remote_sfence_vma(const unsigned long *hart_mask, unsigned long start, unsigned long size) argument 116 sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, unsigned long start, unsigned long size, unsigned long asid) argument
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 20 uint32_t size; member in struct:multiboot2_tag 25 uint64_t size; member in struct:multiboot2_memory
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls_mem.c | 190 altcp_mbedtls_alloc_config(size_t size) argument
|
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 30 size_t size; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | vmm_manager.h | 52 unsigned size; member in struct:vmcall_args 57 unsigned size; member in struct:ioctl_arg
|
H A D | vchan_copy.h | 45 int size; member in struct:vchan_args
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_console_emul.c | 132 bool console_device_emul_io_in(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int *result) argument 144 bool console_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_con.c | 23 static int virtio_con_io_in(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument 36 static int virtio_con_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 50 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/detail/ |
H A D | cpp11_zone.hpp | 196 static void* operator new(std::size_t size) argument 238 inline void* zone::allocate_align(size_t size, size_t align) argument 255 allocate_no_align(size_t size) argument 268 allocate_expand(size_t size) argument 330 undo_allocate(size_t size) argument 356 aligned_size( std::size_t size, std::size_t align = MSGPACK_ZONE_ALIGN) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | object.hpp | 112 inline std::size_t add_ext_type_size(std::size_t size) { argument 117 inline std::size_t add_ext_type_size<4>(std::size_t size) { argument 164 std::size_t size = msgpack::aligned_zone_size(obj); local [all...] |
H A D | object_fwd.hpp | 50 uint32_t size; member in struct:msgpack::object_array 55 uint32_t size; member in struct:msgpack::object_map 60 uint32_t size; member in struct:msgpack::object_str 65 uint32_t size; member in struct:msgpack::object_bin 72 uint32_t size; member in struct:msgpack::object_ext
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | usbkbd.c | 37 int size; member in struct:ringbuf 47 static int rb_produce(struct ringbuf *rb, const char *str, int size) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 69 size_t size; member in struct:allocman_mspace_chunk 94 size_t size; member in struct:allocman_freed_mspace_chunk
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | common.c | 92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.debug.c | 20 seL4_Word size; member in struct:breakpoint_state 219 int delegate_insert_break(seL4_Word tcb_cap, seL4_Word type, seL4_Word addr, seL4_Word size, seL4_Wor argument 245 delegate_remove_break(seL4_Word tcb_cap, seL4_Word type, seL4_Word addr, seL4_Word size, seL4_Word rw) argument [all...] |
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_sw.c | 203 int fdt_add_reservemap_entry(void *fdt, uint64_t addr, uint64_t size) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, argument 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | packobj.c | 99 pack_obj_dentarr(struct obj_dentarr *dentarr, obj_id id, int nbdentry, int size) argument
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | file.c | 204 static int fat_cont_expand(struct inode *inode, loff_t size) argument
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_ethernet.c | 71 static struct pico_frame *pico_ethernet_alloc(struct pico_protocol *self, struct pico_device *dev, uint16_t size) argument
|
H A D | pico_icmp4.c | 208 uint16_t size; member in struct:pico_icmp4_ping_cookie 368 int pico_icmp4_ping(char *dst, int count, int interval, int timeout, int size, void (*cb)(struct pico_icmp4_stats *)) argument [all...] |