/seL4-test-master/projects/sel4test/ |
H A D | domain_schedule.c | 26 { .domain = 0, .length = 1 }, 28 { .domain = 1, .length = 1 }, 31 { .domain = 2, .length = 1 }, 34 { .domain = 3, .length = 1 }, 37 { .domain = 4, .length = 1 }, 40 { .domain = 5, .length = 1 }, 43 { .domain = 6, .length = 1 }, 46 { .domain = 7, .length = 1 }, 49 { .domain = 8, .length = 1 }, 52 { .domain = 9, .length [all...] |
/seL4-test-master/tools/seL4/misc/ |
H A D | style-py.sh | 10 autopep8 -i --max-line-length 100 "$@"
|
/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | ftruncate.c | 5 int ftruncate(int fd, off_t length) argument 7 return syscall(SYS_ftruncate, fd, __SYSCALL_LL_O(length));
|
H A D | truncate.c | 5 int truncate(const char *path, off_t length) argument 7 return syscall(SYS_truncate, path, __SYSCALL_LL_O(length));
|
/seL4-test-master/kernel/src/config/ |
H A D | default_domain.c | 12 { .domain = 0, .length = 1 },
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | printer.h | 30 acpi_print_table_raw(const void* start, int length); 40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {}
|
H A D | acpi.c | 25 acpi_calc_checksum(const char* start, int length) argument 28 while (length-- > 0) { 38 size_t length; local 41 length = ((acpi_header_t*)table)->length; 43 length = ((acpi_facs_t*)table)->length; 45 length = ((acpi_rsdp_t*)table)->length; 46 if (length [all...] |
H A D | walker.c | 55 size_t length = acpi_table_length(header); local 56 if (length == 0xffffffff) { 63 if (!SAME_PAGE_4K(header, ((void *) header) + length)) { 65 header = ps_io_map(&acpi->io_mapper, (uintptr_t)table_paddr, length, 1, PS_MEM_NORMAL); 68 ZF_LOGD("Failed tomap paddr %p, size %"PRIu32"\n", table_paddr, header->length); 126 size_t length = acpi_table_length(header_vaddr); local 127 acpi_header_t *copy = (acpi_header_t *) malloc(length); 129 ZF_LOGD("Failed to malloc object size %zu\n", length); 134 memcpy(copy, header_vaddr, length); 178 header->length, paren [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | pmem.h | 31 uint64_t length; member in struct:pmem_region 45 void *vaddr = ps_io_map(&ops->io_mapper, region.base_addr, region.length, cached, flags); 47 ZF_LOGE("Failed to map paddr %p length %" PRIu64 "\n", (void *) (uintptr_t) region.base_addr, region.length); 61 ps_io_unmap(&ops->io_mapper, vaddr, region.length);
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | rsdt.h | 28 return (t->header.length - sizeof(*t)) / sizeof(uint32_t); 43 char* end = (char*)hdr + hdr->header.length;
|
H A D | xsdt.h | 28 return (t->header.length - sizeof(*t)) / sizeof(uint64_t); 43 char* end = (char*)hdr + hdr->header.length;
|
H A D | facs.h | 18 uint32_t length; member in struct:acpi_facs
|
/seL4-test-master/kernel/include/ |
H A D | compound_types.h | 16 word_t length; member in struct:pde_range 22 word_t length; member in struct:pte_range
|
/seL4-test-master/kernel/include/object/ |
H A D | schedcontrol.h | 13 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,
|
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | mmap.h | 30 uintptr_t __do_mmap(uintptr_t addr, size_t length, int prot, int flags, file_t* file, off_t offset); 31 uintptr_t do_mmap(uintptr_t addr, size_t length, int prot, int flags, int fd, off_t offset); 32 int do_munmap(uintptr_t addr, size_t length); 34 uintptr_t do_mprotect(uintptr_t addr, size_t length, int prot);
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | iospace.h | 16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, 18 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, 34 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument 40 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
|
H A D | smmu.h | 17 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, 21 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, 25 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, 29 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr,
|
/seL4-test-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 21 /* Send a break byte to terminate indefinite-length item */ 72 int cbor64_send_typed_bytes(base64_t *streamer, cbor64_mt_t type, unsigned char *buffer, size_t length) argument 74 int err = cbor64_send_item(streamer, type, length); 79 while (length > 0) { 85 length -= 1; 104 static inline int send_endian_bytes(base64_t *streamer, unsigned char *bytes, size_t length) argument 106 for (int b = 0; b < length; b += 1) { 108 int err = base64_putbyte(streamer, bytes[length - (b + 1)]); 164 size_t length = strlen(domain->strings[index]); local 169 is_referenced = length > [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | ioport.h | 18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, 20 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap,
|
H A D | interrupt.h | 14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 34 uint16_t length; member in struct:acpi_dmar_header 59 uint8_t length; member in struct:acpi_dmar_devscope 102 uint8_t length; member in struct:acpi_madt_header 161 BOOT_CODE static uint8_t acpi_calc_checksum(char *start, uint32_t length) argument 165 while (length > 0) { 168 length--; 205 pages_for_table = (rsdp_entry->length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1; 210 pages_for_table = (rsdt_entry->header.length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1; 265 assert(acpi_rsdt_mapped->header.length > 0); 266 if (acpi_calc_checksum((char *)acpi_rsdt_mapped, acpi_rsdt_mapped->header.length) ! [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | ept.h | 47 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, 49 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, 51 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, 53 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
|
/seL4-test-master/kernel/src/api/ |
H A D | faults.c | 74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) argument 81 for (i = 0; i < MIN(length, n_msgRegisters); i++) { 87 if (i < length) { 90 for (; i < length; i++) { 100 word_t length, word_t *receiveIPCBuffer) 103 for (i = 0; i < MIN(length, n_msgRegisters); i++) { 108 for (; i < length; i++) { 119 word_t length = seL4_MessageInfo_get_length(tag); local 127 copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage)); 131 copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessag 99 copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length, word_t *receiveIPCBuffer) argument [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/ |
H A D | filter-results.py | 37 # $4 the length of the message 72 length = 0 variable in class:Selection 80 self.length == other.length and 100 selection.length = match.group(5) 124 candidate.length = match.group(4)
|