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

123

/seL4-mcs-10.1.1/src/config/
H A Ddefault_domain.c16 { .domain = 0, .length = 1 },
/seL4-mcs-10.1.1/include/
H A Dcompound_types.h21 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 Diospace.h21 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 Dinterrupt.h19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dvcpu.h90 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 Dinterrupt.h18 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-mcs-10.1.1/include/arch/x86/arch/object/
H A Dinterrupt.h19 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dioport.h23 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 Diospace.h42 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 Dobjecttype.h29 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 Dschedcontrol.h20 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,
H A Dtcb.h22 /* 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 Dinterrupt.h20 exception_t decodeIRQControlInvocation(word_t invLabel, word_t length,
H A Dcnode.h21 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 Dinterrupt.c31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dacpi.c38 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 Dfaults.h88 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 Dfaults.c80 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 Dfastpath.h67 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 Dept.h54 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 Dacpi.h26 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 Dschedcontrol.c91 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 Dtcb.c344 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 Dinterrupt.c26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, argument
31 if (length < 4 || excaps.excaprefs[0] == NULL) {
H A Dvcpu.c549 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...]

Completed in 137 milliseconds

123