/seL4-test-master/kernel/src/plat/imx31/machine/ |
H A D | hardware.c | 89 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 103 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 118 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | common.c | 37 char *end = _bss_end; local
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 18 uint32_t end; member in struct:multiboot_module
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 69 paddr_t end = boot_state.mem_p_regs.list[i].end; local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 278 uintptr_t end = (uintptr_t)p->payload + p->len; local 367 uintptr_t end = (uintptr_t)q->payload + q->len; local
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | bootinfo_types.h | 47 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:seL4_SlotRegion
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 95 seL4_SlotPos end = 0; local
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 256 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 259 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 263 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_image.c | 54 uint32_t end; member in struct:zimage_hdr
|
/seL4-test-master/projects/musllibc/src/malloc/ |
H A D | malloc.c | 175 static void *end; local
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt_rw.c | 100 char *end = (char *)fdt + fdt_data_size_(fdt); local
|
H A D | fdt_ro.c | 262 const char *end = path + namelen; local 725 const char *list, *end; local 752 const char *list, *end; local 782 const char *list, *end; local [all...] |
/seL4-test-master/projects/musllibc/src/crypt/ |
H A D | crypt_blowfish.c | 377 unsigned char *end = dptr + size; local 401 const unsigned char *end = sptr + size; local 456 BF_encrypt(BF_ctx *ctx, BF_word L, BF_word R, BF_word *start, BF_word *end) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | asf.h | 141 char* end = (char*)h + h->header.length; local 163 char* end = (char*)h + h->header.length; local 187 char* end = (char*)h + h->header.length; local
|
H A D | madt.h | 185 void* end = (uint8_t*)tbl + tbl->header.length; local
|
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | mmap.c | 133 uintptr_t start = current.brk, end = current.mmap_max - npage*RISCV_PGSIZE; local
|
/seL4-test-master/tools/nanopb/tests/alltypes_pointer/ |
H A D | encode_alltypes_pointer.c | 37 int32_t end = 1099; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) argument 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) argument
|
H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument 58 check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument [all...] |
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | vcpu.h | 146 static inline void vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument 162 static inline void vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
|
/seL4-test-master/projects/musllibc/src/regex/ |
H A D | regexec.c | 342 int end = tnfa->minimal_tags[i]; local
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 132 const char *end = list + prop->len; local 176 const uint32_t *end = value + scan->reg_len/4; local 335 const uint32_t *end = value + scan->int_len/4; local 420 const uint32_t *end = value + scan->int_len/4; local 481 uint32_t *end local [all...] |
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | l2c_310.c | 379 void plat_cleanL2Range(paddr_t start, paddr_t end) argument 395 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument 414 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | scheduler.c | 1016 uint64_t end = sel4test_timestamp(env); local
|
/seL4-test-master/tools/nanopb/tests/backwards_compatibility/ |
H A D | alltypes_legacy.h | 156 int32_t end; member in struct:_AllTypes
|