Searched refs:length (Results 51 - 75 of 138) sorted by relevance

123456

/seL4-test-master/kernel/include/arch/arm/arch/object/
H A Dinterrupt.h15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dvcpu.h108 unsigned int length,
123 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t *buffer);
124 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t *buffer);
125 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t *buffer);
127 exception_t decodeVCPUAckVPPI(cap_t cap, unsigned int length, word_t *buffer);
H A Dobjecttype.h23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/include/object/
H A Dcnode.h16 word_t length; member in struct:slot_range
20 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
H A Dinterrupt.h15 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dobjecttype.h29 exception_t decodeInvocation(word_t invLabel, word_t length,
40 exception_t decodeInvocation(word_t invLabel, word_t length,
H A Duntyped.h30 exception_t decodeUntypedInvocation(word_t invLabel, word_t length,
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
38 if (length < 4 || excaps.excaprefs[0] == NULL) {
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dacpi.c27 uint8_t acpi_calc_checksum(const char *table, int length) argument
31 for (int i = 0; i < length; i++) {
50 head->length = sizeof(*head);
167 .length = sizeof(acpi_madt_ioapic_t)
181 .length = sizeof(acpi_madt_local_apic_t)
191 madt->header.length = madt_size;
228 xsdt->header.length = xsdt_size;
253 .length = sizeof(acpi_rsdp_t),
/seL4-test-master/projects/musllibc/tools/
H A Dadd-cfi.x86_64.awk28 return "r" substr(register, 2, length(register)-1)
80 functions[substr($2, 1, length($2)-10)] = 1
89 label = substr($1, 1, length($1)-1) # drop trailing :
H A Dadd-cfi.x86_64_sel4.awk28 return "r" substr(register, 2, length(register)-1)
80 functions[substr($2, 1, length($2)-10)] = 1
89 label = substr($1, 1, length($1)-1) # drop trailing :
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmadt.h32 uint8_t length; member in struct:acpi_madt_ics_hdr
184 void* next = (uint8_t*)hdr + hdr->length;
185 void* end = (uint8_t*)tbl + tbl->header.length;
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dplatform_sift.py41 (False, ['memory described as empty in file (list is zero-length)'])
72 ' (list is zero-length)')
119 (array, length, tag) = (
136 int {length} = {n};
143 length=length, variable
231 one region and therefore array element. The length of the array is explicitly
254 help='desired C identifier for length of struct array')
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dacpi.h35 uint32_t length; member in struct:acpi_rsdp
44 uint32_t length; member in struct:acpi_header
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c506 word_t length,
518 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
520 return decodeX86PortControlInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
522 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, excaps, call, buffer);
527 return decodeX86IOPTInvocation(invLabel, length, slot, cap, excaps, buffer);
531 return decodeX86VCPUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
536 return decodeX86EPTInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
539 return Mode_decodeInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
504 Arch_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer ) argument
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h94 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
99 /* assuming that length < n_msgRegisters */
100 for (i = 0; i < length; i ++) {
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h78 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
83 /* assuming that length < n_msgRegisters */
84 for (i = 0; i < length; i ++) {
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dipc.c32 FOR_EACH_LENGTH(length) {
33 seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, length);
34 for (int i = 0; i < length; i++) {
46 FOR_EACH_LENGTH(length) {
47 seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, length);
48 for (int i = 0; i < length; i++) {
61 FOR_EACH_LENGTH(length) {
62 seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, length);
65 for (int i = 0; i < length; i++) {
72 seL4_Word actual_len = length;
524 uint32_t length = fastpath ? 1 : 8; local
[all...]
/seL4-test-master/kernel/src/object/
H A Dobjecttype.c596 totalObjectSize = slots.length << objectSize;
602 for (i = 0; i < slots.length; i++) {
615 exception_t decodeInvocation(word_t invLabel, word_t length, argument
620 exception_t decodeInvocation(word_t invLabel, word_t length,
627 return Arch_decodeInvocation(invLabel, length, capIndex,
716 return decodeTCBInvocation(invLabel, length, cap,
728 return decodeDomainInvocation(invLabel, length, excaps, buffer);
739 return decodeCNodeInvocation(invLabel, length, cap, excaps, buffer);
742 return decodeUntypedInvocation(invLabel, length, slot, cap, excaps,
746 return decodeIRQControlInvocation(invLabel, length, slo
[all...]
H A Dtcb.c388 word_t i, length; local
395 length = seL4_MessageInfo_get_extraCaps(info);
397 for (i = 0; i < length; i++) {
495 static exception_t decodeSetAffinity(cap_t cap, word_t length, word_t *buffer) argument
500 if (length < 1) {
758 static exception_t decodeSetTLSBase(cap_t cap, word_t length, word_t *buffer) argument
762 if (length < 1) {
778 exception_t decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, argument
788 return decodeReadRegisters(cap, length, call, buffer);
791 return decodeWriteRegisters(cap, length, buffe
883 decodeCopyRegisters(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
927 decodeReadRegisters(cap_t cap, word_t length, bool_t call, word_t *buffer) argument
972 decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer) argument
1033 decodeTCBConfigure(cap_t cap, word_t length, cte_t *slot, extra_caps_t rootCaps, word_t *buffer) argument
1150 decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1194 decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument
1269 decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer) argument
1377 decodeSetIPCBuffer(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer) argument
1438 decodeSetSpace(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer) argument
1548 decodeDomainInvocation(word_t invLabel, word_t length, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dacpi.h64 acpi_calc_checksum(const char* start, int length);
67 * return the length of any table
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h26 uint64_t length; member in struct:multiboot_mmap
H A Dvspace.h104 exception_t decodeX86MMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
107 exception_t decodeX86ModeMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
110 exception_t decodeIA32PageDirectoryInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap,
114 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h22 exception_t Arch_decodeInvocation(word_t label, word_t length,

Completed in 112 milliseconds

123456