/seL4-test-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-test-master/tools/riscv-pk/pk/ |
H A D | mmap.c | 381 void populate_mapping(const void* start, size_t size, int prot) argument
|
H A D | syscall.c | 288 long sys_getcwd(const char* buf, size_t size) argument
|
/seL4-test-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) argument 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument 219 size_t size = elf_getSectionSize(elf, string_segment); local 275 size_t size = elf_getSectionSize(elf, str_table_idx); local
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 189 long unsigned int size; local [all...] |
/seL4-test-master/tools/nanopb/ |
H A D | pb_encode.c | 110 size_t size; local 510 pb_get_encoded_size(size_t *size, const pb_msgdesc_t *fields, const void *src_struct) argument 656 pb_encode_string(pb_ostream_t *stream, const pb_byte_t *buffer, size_t size) argument 668 size_t size; local 805 size_t size = 0; local [all...] |
H A D | pb_decode.c | 308 static bool checkreturn read_raw_value(pb_istream_t *stream, pb_wire_type_t wire_type, pb_byte_t *buf, size_t *size) argument 349 uint32_t size; local 430 pb_size_t *size = (pb_size_t*)field->pSize; local 457 pb_size_t *size = (pb_size_t*)field->pSize; local 696 size_t size = sizeof(buffer); local 1409 uint32_t size; local 1446 uint32_t size; local 1506 uint32_t size; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 94 static void *alloc_and_map(vspace_t *vspace, size_t size) argument 286 void *bootstrap_create_level(vspace_t *vspace, size_t size) argument
|
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-test-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument 402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument [all...] |
/seL4-test-master/projects/sel4runtime/src/ |
H A D | env.c | 57 sel4runtime_size_t size; member in struct:__anon6::__anon7
|
/seL4-test-master/projects/sel4_projects_libs/libsel4dma/src/ |
H A D | dma.c | 219 static dma_mem_t dma_memd_alloc(struct dma_memd_node *n, size_t size, int align) argument 264 vaddr_t dma_alloc(struct dma_allocator *allocator, size_t size, in argument 454 dma_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 484 dma_dma_free(void *cookie, void *addr, size_t size) argument 493 dma_dma_pin(void *cookie, void *addr, size_t size) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | decode.c | 247 void vm_decode_ept_violation(vm_vcpu_t *vcpu, int *reg, uint32_t *imm, int *size) argument 383 int size; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_memory.c | 28 size_t size; member in struct:vm_memory_reservation 46 size_t size; member in struct:anon_region 55 size_t size; member in struct:res_tree 109 static void remove_memory_reservation_node(vm_t *vm, uintptr_t addr, size_t size, reservation_type_t res_type) argument 143 add_memory_reservation_node(vm_t *vm, uintptr_t addr, size_t size, reservation_type_t res_type, void *data) argument 187 find_allocable_anon_region(vm_t *vm, size_t size) argument 219 allocate_vm_reservation(vm_t *vm, uintptr_t addr, size_t size, reservation_t vspace_reservation) argument 238 find_anon_reservation_by_addr(uintptr_t addr, size_t size, anon_region_t *anon_region) argument 266 vm_memory_handle_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t addr, size_t size) argument 311 vm_reserve_memory_at(vm_t *vm, uintptr_t addr, size_t size, memory_fault_callback_fn fault_callback, void *cookie) argument 351 vm_memory_make_anon(vm_t *vm, uintptr_t addr, size_t size) argument 384 vm_reserve_anon_memory(vm_t *vm, size_t size, memory_fault_callback_fn fault_callback, void *cookie, uintptr_t *addr) argument 517 vm_get_reservation_memory_region(vm_memory_reservation_t *reservation, uintptr_t *addr, size_t *size) argument [all...] |
H A D | guest_ram.c | 21 size_t size; member in struct:guest_mem_touch_params 28 static int push_guest_ram_region(vm_mem_t *guest_memory, uintptr_t start, size_t size, int allocated) argument 106 static bool is_ram_region(vm_t *vm, uintptr_t addr, size_t size) argument 128 vm_guest_ram_read_callback(vm_t *vm, uintptr_t addr, void *vaddr, size_t size, size_t offset, void *buf) argument 134 vm_guest_ram_write_callback(vm_t *vm, uintptr_t addr, void *vaddr, size_t size, size_t offset, void *buf) argument 150 vm_ram_touch(vm_t *vm, uintptr_t addr, size_t size, ram_touch_callback_fn touch_callback, void *cookie) argument 179 vm_ram_find_largest_free_region(vm_t *vm, uintptr_t *addr, size_t *size) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | cross_vm_connection.c | 190 size_t size = dataport->size; local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | unimplemented.h | 204 phys_size_t size; member in struct:bd_info::__anon547
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt_ro.c | 185 int fdt_get_mem_rsv(const void *fdt, int n, uint64_t *address, uint64_t *size) argument
|
H A D | libfdt.h | 278 int size; /* data size (1/2/4) */ member in struct:display_info [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 183 size_t size = spi_bus->txsize + spi_bus->rxsize; local 234 size_t size = spi_bus->txsize + spi_bus->rxsize; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 562 unsigned long size; local
|
/seL4-test-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-test-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-test-master/kernel/src/machine/ |
H A D | io.c | 600 word_t ksnprintf(char *str, word_t size, const char *format, ...) argument
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 275 word_t size = 1; /* one for the root table */ local
|