Searched refs:length (Results 1 - 25 of 138) sorted by relevance

123456

/seL4-test-master/projects/sel4test/
H A Ddomain_schedule.c26 { .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 Dstyle-py.sh10 autopep8 -i --max-line-length 100 "$@"
/seL4-test-master/projects/musllibc/src/unistd/
H A Dftruncate.c5 int ftruncate(int fd, off_t length) argument
7 return syscall(SYS_ftruncate, fd, __SYSCALL_LL_O(length));
H A Dtruncate.c5 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 Ddefault_domain.c12 { .domain = 0, .length = 1 },
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dprinter.h30 acpi_print_table_raw(const void* start, int length);
40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {}
H A Dacpi.c25 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 Dwalker.c55 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 Dpmem.h31 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 Drsdt.h28 return (t->header.length - sizeof(*t)) / sizeof(uint32_t);
43 char* end = (char*)hdr + hdr->header.length;
H A Dxsdt.h28 return (t->header.length - sizeof(*t)) / sizeof(uint64_t);
43 char* end = (char*)hdr + hdr->header.length;
H A Dfacs.h18 uint32_t length; member in struct:acpi_facs
/seL4-test-master/kernel/include/
H A Dcompound_types.h16 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 Dschedcontrol.h13 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 Dmmap.h30 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 Dinterrupt.h20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Diospace.h16 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 Dsmmu.h17 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 Dcbor64.c21 /* 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 Dioport.h18 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 Dinterrupt.h14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c34 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 Dept.h47 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 Dfaults.c74 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 Dfilter-results.py37 # $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)

Completed in 104 milliseconds

123456