| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | string.c | 22 word_t strlcpy(char *dest, const char *src, word_t size) argument
32 word_t strlcat(char *dest, const char *src, word_t size) argument
|
| /seL4-l4v-10.1.1/seL4/src/plat/spike/machine/ |
| H A D | fdt.c | 172 uint64_t base, size; local
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | tcb.c | 485 word_t vaddr, type, size, rw; local
472 invokeSetBreakpoint(tcb_t *tcb, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | ioport.c | 40 ensurePortOperationAllowed(cap_t cap, uint32_t start_port, uint32_t size) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | breakpoint.c | 211 convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
423 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 461 word_t size = BIT((SMMU_PD_INDEX_BITS)); local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | debug.c | 438 convertSizeToArch(word_t size) argument
553 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/armv/armv8-a/64/ |
| H A D | cache.c | 50 word_t size, csselr_old; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1492 word_t size = end - start; local
1663 word_t size = end - start; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1864 pageBase(vptr_t vaddr, vm_page_size_t size) argument
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | bootup.tex | |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
| H A D | bootinfo_types.h | 126 uint32_t size; // size of this struct in bytes member in struct:seL4_X86_mb_mmap
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | bootinfo_types.h | 126 uint32_t size; // size of this struct in bytes member in struct:seL4_X86_mb_mmap
|
| /seL4-l4v-10.1.1/seL4/include/machine/ |
| H A D | debug.h | 60 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
| H A D | debug.h | 143 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot.h | 30 uint32_t size; member in struct:multiboot_mmap
|
| H A D | multiboot2.h | 25 uint32_t size; member in struct:multiboot2_tag
30 uint64_t size; member in struct:multiboot2_memory
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
| H A D | sbi.h | 102 sbi_remote_sfence_vma(const unsigned long *hart_mask, unsigned long start, unsigned long size) argument
109 sbi_remote_sfence_vma_asid(const unsigned long *hart_mask, unsigned long start, unsigned long size, unsigned long asid) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
| H A D | debug.h | 193 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 33 word_t size; member in struct:createMappingEntries_ret
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | ptr_modifies.c | 41 int size; member in struct:thing
|
| H A D | kmalloc.c | 73 void free(void * address, word_t size) argument
97 void sep_free(void * address, word_t size) argument
123 alloc(word_t size) argument
166 sep_alloc(word_t size) argument
212 kmalloc_test(word_t size) argument
223 sep_test(word_t size) argument
[all...] |
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | schorr_waite.c | 56 void make_graph(unsigned size, unsigned graph[size][2], struct node n[size]) { argument
84 unsigned size = rand() % max_size + 1; local
[all...] |
| H A D | memcpy.c | 11 void *memcpy(void *dest, void *src, unsigned long size) { argument
|
| H A D | kmalloc.c | 73 void free(void * address, word_t size) argument
97 void sep_free(void * address, word_t size) argument
123 alloc(word_t size) argument
166 sep_alloc(word_t size) argument
212 kmalloc_test(word_t size) argument
223 sep_test(word_t size) argument
[all...] |