/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_icmp6.c | 664 uint16_t size; member in struct:pico_icmp6_ping_cookie 836 int pico_icmp6_ping(char *dst, int count, int interval, int timeout, int size, voi argument [all...] |
H A D | pico_mm.c | 146 uint32_t size; /* Maximum size in bytes */ member in struct:pico_mem_manager 173 uint32_t size; member in struct:pico_mem_heap_block [all...] |
H A D | pico_dns_common.c | 476 uint16_t size = 0; local 723 uint16_t size = 0; local 1190 pico_tree_size( struct pico_tree *tree, uint16_t *size, uint16_t (*node_size)(void *)) argument [all...] |
H A D | pico_icmp6.h | 298 unsigned long size; member in struct:pico_icmp6_stats
|
H A D | pico_ipv4.c | 490 static struct pico_frame *pico_ipv4_alloc(struct pico_protocol *self, struct pico_device *dev, uint16_t size) argument
|
H A D | pico_olsr.c | 100 uint16_t size; variable 404 static void olsr_scheduled_output(uint32_t when, void *buffer, uint16_t size, struct pico_device *pdev) argument 481 static uint32_t olsr_build_hello_neighbors(uint8_t *buf, uint32_t size, struct olsr_route_entry **bookmark) argument 522 static uint32_t olsr_build_tc_neighbors(uint8_t *buf, uint32_t size, struct olsr_route_entry **bookmark) argument 556 static uint32_t olsr_build_mid(uint8_t *buf, uint32_t size, struc argument 580 uint32_t size = 0, r; local 649 uint32_t size = 0, r; local 807 reconsider_topology(uint8_t *buf, uint32_t size, struct olsr_route_entry *e) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 30 void *create_level(vspace_t *vspace, size_t size) argument 558 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, argument 541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument 596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument 610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument 633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 562 unsigned long size; local
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | unimplemented.h | 203 phys_size_t size; member in struct:bd_info::__anon119
|
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
H A D | bootinfo_types.h | 119 uint32_t size; // size of this struct in bytes member in struct:seL4_X86_mb_mmap
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | io.c | 600 word_t ksnprintf(char *str, word_t size, const char *format, ...) argument
|
/seL4-camkes-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 275 word_t size = 1; /* one for the root table */ local
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | api_msg.c | 708 int size; local
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 1088 altcp_mbedtls_bio_send(void *ctx, const unsigned char *dataptr, size_t size) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 408 static inline int i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, argument 426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument 517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument 537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 78 ps_io_map( const ps_io_mapper_t *io_mapper, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 90 ps_io_unmap( const ps_io_mapper_t *io_mapper, void *vaddr, size_t size) argument 253 ps_dma_alloc( const ps_dma_man_t *dma_man, size_t size, int align, int cache, ps_mem_flags_t flags) argument 265 ps_dma_free( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 275 ps_dma_pin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 285 ps_dma_unpin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 295 ps_dma_cache_op( const ps_dma_man_t *dma_man, void *addr, size_t size, dma_cache_op_t op) argument 306 ps_dma_cache_clean( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 314 ps_dma_cache_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 322 ps_dma_cache_clean_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 381 ps_malloc( const ps_malloc_ops_t *ops, size_t size, void **ptr) argument 410 ps_calloc( const ps_malloc_ops_t *ops, size_t nmemb, size_t size, void **ptr) argument 441 ps_free( const ps_malloc_ops_t *ops, size_t size, void *ptr) argument [all...] |
/seL4-camkes-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 90 static inline uint32_t smmu_obs_size_to_bits(uint32_t size) argument 109 static inline uint32_t smmu_ubs_size_to_bits(uint32_t size) argument [all...] |
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 150 word_t size = BIT(CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits); local 176 word_t size local 802 word_t size = calculate_rootserver_size(it_v_reg, extra_bi_size_bits); local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
H A D | i8259.c | 471 ioport_fault_result_t i8259_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument 502 ioport_fault_result_t i8259_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb.h | 255 __get_descriptor_req(enum DescriptorType t, int value, int index, int size) { argument
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | dir.c | 524 int size = PATH_MAX - FAT_MAX_UNI_SIZE; local 633 int size = PATH_MAX - FAT_MAX_UNI_SIZE; local 189 fat_uni_to_x8(struct super_block *sb, const wchar_t *uni, unsigned char *buf, int size) argument 1220 unsigned long size, copy; local 1350 int size = free_slots * sizeof(*de); local [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 183 uint64_t base, size; local
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_6lowpan.c | 1406 int size = 64; local [all...] |
H A D | modunit_pico_dev_ppp.c | 189 uint32_t size = 10; local
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | value.c | 589 size_t i, size; local [all...] |