/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | interrupt.h | 15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | vcpu.h | 108 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 D | objecttype.h | 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/include/object/ |
H A D | cnode.h | 16 word_t length; member in struct:slot_range 20 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
|
H A D | interrupt.h | 15 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | objecttype.h | 29 exception_t decodeInvocation(word_t invLabel, word_t length, 40 exception_t decodeInvocation(word_t invLabel, word_t length,
|
H A D | untyped.h | 30 exception_t decodeUntypedInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 33 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 D | acpi.c | 27 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 D | add-cfi.x86_64.awk | 28 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 D | add-cfi.x86_64_sel4.awk | 28 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 D | madt.h | 32 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 D | platform_sift.py | 41 (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 D | acpi.h | 35 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 D | objecttype.c | 506 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 D | fastpath.h | 94 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 D | fastpath.h | 78 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 D | ipc.c | 32 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 D | objecttype.c | 596 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 D | tcb.c | 388 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 D | acpi.h | 64 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 D | vspace.h | 46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 26 uint64_t length; member in struct:multiboot_mmap
|
H A D | vspace.h | 104 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 D | objecttype.h | 22 exception_t Arch_decodeInvocation(word_t label, word_t length,
|