| /seL4-camkes-master/tools/rumprun/platform/xen/ |
| H A D | rumphyper_bio.c | 261 rumpuser_getfileinfo(const char *name, uint64_t *size, int *type) argument
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | os.h | 166 static inline unsigned long __xchg(unsigned long x, volatile void * ptr, int size) argument
307 static inline unsigned long __xchg(unsigned long x, volatile void * ptr, int size) argument
459 __synch_cmpxchg(volatile void *ptr, unsigned long old, unsigned long new, int size) argument
|
| /seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 189 long unsigned int size; local
[all...] |
| /seL4-camkes-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
|
| /seL4-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | io.c | 109 static UNUSED void *io_map(void *cookie, uintptr_t paddr, size_t size, argument
142 camkes_io_map(void *cookie UNUSED, uintptr_t paddr, size_t size, int cached UNUSED, ps_mem_flags_t flags UNUSED) argument
[all...] |
| H A D | dma.c | 73 size_t size; member in struct:__anon5
501 alloc(size_t size, int align, bool cached) argument
602 camkes_dma_alloc(size_t size, int align, bool cached) argument
693 camkes_dma_free(void *ptr, size_t size) argument
743 dma_alloc(void *cookie UNUSED, size_t size, int align, int cached, ps_mem_flags_t flags UNUSED) argument
759 dma_free(void *cookie UNUSED, void *addr, size_t size) argument
[all...] |
| /seL4-camkes-master/projects/lwip/src/api/ |
| H A D | api_lib.c | 974 netconn_write_partly(struct netconn *conn, const void *dataptr, size_t size, argument
1003 size_t size; local
[all...] |
| /seL4-camkes-master/projects/lwip/src/core/ |
| H A D | mem.c | 97 mem_overflow_check_raw(void *p, size_t size, const char *descr1, const char *descr2) argument
135 mem_overflow_init_raw(void *p, size_t size) argument
169 mem_trim(void *mem, mem_size_t size) argument
207 mem_malloc(mem_size_t size) argument
251 mem_malloc(mem_size_t size) argument
701 mem_size_t size, newsize; local
833 mem_size_t ptr, ptr2, size; local
982 mem_calloc(mem_size_t count, mem_size_t size) argument
999 mem_calloc(mem_size_t count, mem_size_t size) argument
[all...] |
| /seL4-camkes-master/projects/sel4runtime/src/ |
| H A D | env.c | 57 sel4runtime_size_t size; member in struct:__anon6::__anon7
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | cross_vm_connection.c | 190 size_t size = dataport->size; local
|
| /seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
| H A D | gdb.c | 586 seL4_Word size = (seL4_Word) strtol(size_string, NULL, HEX_STRING); local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | unimplemented.h | 204 phys_size_t size; member in struct:bd_info::__anon648
|
| /seL4-camkes-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-camkes-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-camkes-master/tools/riscv-pk/pk/ |
| H A D | syscall.c | 288 long sys_getcwd(const char* buf, size_t size) argument
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_tap_windows.c | 74 DWORD size; member in struct:overlapped_io
|
| H A D | pico_dhcp_common.h | 156 uint16_t size; variable
|
| H A D | pico_icmp4.h | 132 unsigned long size; member in struct:pico_icmp4_stats
|