/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ |
H A D | xenbus.c | 402 size_t size = sizeof(void*)*2 + 5; local
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | fsop.c | 773 int size; local 1009 loff_t size; local [all...] |
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | debug.c | 420 static word_t convertSizeToArch(word_t size) argument 529 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument [all...] |
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | pbuf.c | 671 pbuf_free_header(struct pbuf *q, u16_t size) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | unpack.hpp | 599 check_ext_size(std::size_t size) argument 1502 reserve_buffer(std::size_t size) argument 1508 expand_buffer(std::size_t size) argument 1590 buffer_consumed(std::size_t size) argument 1719 skip_nonparsed_buffer(std::size_t size) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument 331 static int bootstrap_allocate_cnode(bootstrap_info_t *bs, size_t size, cspacepath_t *slot) { argument 436 static int bootstrap_new_1level_cspace(bootstrap_info_t *bs, int size) { argument [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | inode.c | 275 loff_t size = offset + count; local [all...] |
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | regcomp.c | 293 int size; member in struct:tre_stack_rec 302 tre_stack_new(int size, int max_size, int increment) argument [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_6lowpan.c | 1563 defrag_remove_header(struct pico_frame *f, uint16_t *dgram_size, uint16_t *tag, uint16_t *off, int32_t size) argument 1578 uint16_t size local [all...] |
H A D | pico_ipv6.c | 891 static struct pico_frame *pico_ipv6_alloc(struct pico_protocol *self, struct pico_device *dev, uint16_t size) argument
|
H A D | pico_tftp.c | 1164 int32_t size; local
|
H A D | pico_tcp.c | 131 uint32_t size; member in struct:pico_tcp_queue 621 uint16_t size = 0; local 705 uint16_t size = 0; local 1448 uint16_t size = PICO_SIZE_TCPHDR; local 2853 tcp_split_segment(struct pico_socket_tcp *t, struct pico_frame *f, uint16_t size) argument [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | enet.c | 635 static void dump_regs(uint32_t *start, int size) argument
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ |
H A D | bpmp.h | 360 uint32_t size; member in struct:mrq_module_load_request 480 uint32_t size; member in struct:mrq_write_trace_request [all...] |
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | sockets.c | 1382 lwip_send(int s, const void *data, size_t size, int flags) argument 1472 ssize_t size = 0; local 1585 lwip_sendto(int s, const void *data, size_t size, int flags, const struct sockaddr *to, socklen_t tolen) argument 1746 lwip_write(int s, const void *data, size_t size) argument [all...] |
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata.c | 381 int check_path(char *path, size_t size) argument [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | tcb.c | 572 word_t vaddr, type, size, rw; local 560 invokeSetBreakpoint(tcb_t *tcb, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument [all...] |
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1791 static inline vptr_t pageBase(vptr_t vaddr, vm_page_size_t size) argument
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1474 word_t size = end - start; local 1637 word_t size = end - start; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 154 uint64_t size; /* Size of memory segment */ member in struct:e820entry
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | ethtool.h | 301 uint32_t size; member in struct:ethtool_perm_addr 391 uint32_t size; member in struct:ethtool_rxfh_indir 432 uint32_t size; member in struct:ethtool_gfeatures 454 uint32_t size; member in struct:ethtool_sfeatures [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 302 uint32_t size; member in struct:ethtool_perm_addr 393 uint32_t size; member in struct:ethtool_rxfh_indir 434 uint32_t size; member in struct:ethtool_gfeatures 456 uint32_t size; member in struct:ethtool_sfeatures [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 1085 tk1_i2c_mmode_read(i2c_slave_t* slave, void* buf, size_t size, argument 1144 tk1_i2c_mmode_write(i2c_slave_t *slave, const void* buf, size_t size, argument [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
H A D | fsm_wrapper_pp_inferred.c | 171 u64 size; member in struct:t14 577 u32 size = args.p2; local 602 u32 size = args.p2; local [all...] |
/seL4-camkes-master/projects/musllibc/ldso/ |
H A D | dynlink.c | 865 size_t i, size = nsym * sizeof(*p->funcdescs); local 1893 dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) argument [all...] |