/seL4-mcs-10.1.1/src/config/ |
H A D | default_domain.c | 16 { .domain = 0, .length = 1 },
|
/seL4-mcs-10.1.1/include/ |
H A D | compound_types.h | 21 word_t length; member in struct:pde_range 27 word_t length; member in struct:pte_range
|
/seL4-mcs-10.1.1/include/arch/arm/arch/object/ |
H A D | iospace.h | 21 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer); 22 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer); 39 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument 45 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer) argument
|
H A D | interrupt.h | 19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | vcpu.h | 90 unsigned int length, 102 exception_t decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t* buffer); 103 exception_t decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer); 104 exception_t decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t* buffer);
|
/seL4-mcs-10.1.1/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 18 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
/seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
H A D | interrupt.h | 19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | ioport.h | 23 exception_t decodeX86PortInvocation(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); 24 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer);
|
H A D | iospace.h | 42 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer); 43 exception_t decodeX86IOMapInvocation(word_t length, cte_t* slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
|
H A D | objecttype.h | 29 exception_t 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); 39 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t* buffer);
|
/seL4-mcs-10.1.1/include/object/ |
H A D | schedcontrol.h | 20 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,
|
H A D | tcb.h | 22 /* Maximum length of the tcb name, including null terminator */ 122 exception_t decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, 125 exception_t decodeCopyRegisters(cap_t cap, word_t length, 127 exception_t decodeReadRegisters(cap_t cap, word_t length, bool_t call, 129 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer); 130 exception_t decodeTCBConfigure(cap_t cap, word_t length, 132 exception_t decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer); 133 exception_t decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer); 134 exception_t decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer); 135 exception_t decodeSetIPCBuffer(cap_t cap, word_t length, [all...] |
H A D | interrupt.h | 20 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
|
H A D | cnode.h | 21 word_t length; member in struct:slot_range 25 exception_t decodeCNodeInvocation(word_t invLabel, word_t length,
|
/seL4-mcs-10.1.1/src/arch/riscv/object/ |
H A D | interrupt.c | 31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
|
/seL4-mcs-10.1.1/src/plat/pc99/machine/ |
H A D | acpi.c | 38 uint16_t length; member in struct:acpi_dmar_header 63 uint8_t length; member in struct:acpi_dmar_devscope 106 uint8_t length; member in struct:acpi_madt_header 166 acpi_calc_checksum(char* start, uint32_t length) argument 170 while (length > 0) { 173 length--; 212 pages_for_table = (rsdp_entry->length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1; 217 pages_for_table = (rsdt_entry->header.length + offset_in_page) / MASK(LARGE_PAGE_BITS) + 1; 274 assert(acpi_rsdt_mapped->header.length > 0); 275 if (acpi_calc_checksum((char*)acpi_rsdt_mapped, acpi_rsdt_mapped->header.length) ! [all...] |
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | faults.h | 88 seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) argument 90 seL4_MessageInfo_t info = seL4_MessageInfo_new(!resume, 0, 0, length); 91 for (seL4_Word i = 0; i < length; i++) {
|
/seL4-mcs-10.1.1/src/api/ |
H A D | faults.c | 80 copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) argument 87 for (i = 0; i < MIN(length, n_msgRegisters); i++) { 93 if (i < length) { 96 for (; i < length; i++) { 107 word_t length, word_t *receiveIPCBuffer) 110 for (i = 0; i < MIN(length, n_msgRegisters); i++) { 115 for (; i < length; i++) { 127 word_t length = seL4_MessageInfo_get_length(tag); local 135 copyMRsFaultReply(sender, receiver, MessageID_Syscall, MIN(length, n_syscallMessage)); 139 copyMRsFaultReply(sender, receiver, MessageID_Exception, MIN(length, n_exceptionMessag 106 copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length, word_t *receiveIPCBuffer) argument [all...] |
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 67 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument 69 if (length == 2) { 72 if (length == 2 || length == 1) {
|
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
H A D | ept.h | 54 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer); 55 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer); 56 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer); 57 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t* cte, cap_t cap, extra_caps_t excaps, word_t* buffer);
|
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 26 uint32_t length; member in struct:acpi_header 43 uint32_t length; member in struct:acpi_rsdp
|
/seL4-mcs-10.1.1/src/object/ |
H A D | schedcontrol.c | 91 decodeSchedControl_Configure(word_t length, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument 99 if (length < (TIME_ARG_SIZE * 2) + 2) { 162 decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, argument 167 return decodeSchedControl_Configure(length, cap, extraCaps, buffer);
|
H A D | tcb.c | 344 word_t i, length; local 351 length = seL4_MessageInfo_get_extraCaps(info); 353 for (i = 0; i < length; i++) { 676 decodeSetTLSBase(cap_t cap, word_t length, word_t *buffer) argument 680 if (length < 1) { 697 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, argument 707 return decodeReadRegisters(cap, length, call, buffer); 710 return decodeWriteRegisters(cap, length, buffer); 713 return decodeCopyRegisters(cap, length, excaps, buffer); 727 return decodeTCBConfigure(cap, length, slo 792 decodeCopyRegisters(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument 837 decodeReadRegisters(cap_t cap, word_t length, bool_t call, word_t *buffer) argument 883 decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer) argument 943 decodeTCBConfigure(cap_t cap, word_t length, cte_t* slot, extra_caps_t rootCaps, word_t *buffer) argument 1040 decodeSetPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument 1079 decodeSetMCPriority(cap_t cap, word_t length, extra_caps_t excaps, word_t *buffer) argument 1148 decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, extra_caps_t excaps, word_t *buffer) argument 1234 decodeSetIPCBuffer(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument 1281 decodeSetSpace(cap_t cap, word_t length, cte_t* slot, extra_caps_t excaps, word_t *buffer) argument 1367 decodeDomainInvocation(word_t invLabel, word_t length, extra_caps_t excaps, word_t *buffer) argument [all...] |
/seL4-mcs-10.1.1/src/arch/arm/object/ |
H A D | interrupt.c | 26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument 31 if (length < 4 || excaps.excaprefs[0] == NULL) {
|
H A D | vcpu.c | 549 decodeVCPUWriteReg(cap_t cap, unsigned int length, word_t* buffer) argument 553 if (length < 2) { 579 unsigned int length = setMR(thread, ipcBuffer, 0, value); local 581 seL4_MessageInfo_new(0, 0, 0, length))); 588 decodeVCPUReadReg(cap_t cap, unsigned int length, bool_t call, word_t* buffer) argument 591 if (length < 1) { 623 decodeVCPUInjectIRQ(cap_t cap, unsigned int length, word_t* buffer) argument 632 if (length < 1) { 647 if (length < 2) { 708 unsigned int length, 706 decodeARMVCPUInvocation( word_t label, unsigned int length, cptr_t cptr, cte_t* slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t* buffer ) argument [all...] |