/seL4-mcs-10.1.1/include/64/mode/api/ |
H A D | ipc_buffer.h | 20 mode_parseTimeArg(word_t i, word_t *buffer) argument 22 return getSyscallArg(i, buffer); 26 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 28 return setMR(thread, buffer, i, time);
|
/seL4-mcs-10.1.1/include/32/mode/api/ |
H A D | ipc_buffer.h | 21 mode_parseTimeArg(word_t i, word_t *buffer) argument 23 return (((ticks_t) getSyscallArg(i + 1, buffer) << 32llu) + getSyscallArg(i, buffer)); 27 mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument 29 setMR(thread, buffer, i, (uint32_t) time); 30 return setMR(thread, buffer, i + 1, (uint32_t) (time >> 32llu));
|
/seL4-mcs-10.1.1/src/benchmark/ |
H A D | benchmark_utilisation.c | 23 uint64_t *buffer = ((uint64_t *) & (((seL4_IPCBuffer *)lookupIPCBuffer(true, NODE_STATE(ksCurThread)))->msg[0])); local 38 buffer[BENCHMARK_TCB_UTILISATION] = tcb->benchmark.utilisation; /* Requested thread utilisation */ 39 buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION] = NODE_STATE(ksIdleThread)->benchmark.utilisation; /* Idle thread utilisation of current CPU */ 41 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = NODE_STATE_ON_CORE(ksIdleThread, tcb->tcbAffinity)->benchmark.utilisation; /* Idle thread utilisation of CPU the TCB is running on */ 43 buffer[BENCHMARK_IDLE_TCBCPU_UTILISATION] = buffer[BENCHMARK_IDLE_LOCALCPU_UTILISATION]; 47 buffer[BENCHMARK_TOTAL_UTILISATION] = 50 buffer[BENCHMARK_TOTAL_UTILISATION] = benchmark_end_time - benchmark_start_time; /* Overall time */
|
/seL4-mcs-10.1.1/src/arch/arm/object/ |
H A D | interrupt.c | 28 word_t *buffer) 42 word_t irq_w = getSyscallArg(0, buffer); 44 bool_t trigger = !!getSyscallArg(1, buffer); 45 word_t index = getSyscallArg(2, buffer); 46 word_t depth = getSyscallArg(3, buffer); 64 getExtraCPtr(buffer, 0), (int)irq); 73 getExtraCPtr(buffer, 0), (int)irq); 26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/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 | 21 word_t *buffer);
|
H A D | vcpu.h | 96 word_t* buffer 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 | 20 word_t *buffer);
|
/seL4-mcs-10.1.1/include/arch/x86/arch/object/ |
H A D | interrupt.h | 21 word_t *buffer);
|
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);
|
/seL4-mcs-10.1.1/include/object/ |
H A D | schedcontrol.h | 21 word_t *buffer);
|
H A D | tcb.h | 124 word_t *buffer); 126 extra_caps_t excaps, word_t *buffer); 128 word_t *buffer); 129 exception_t decodeWriteRegisters(cap_t cap, word_t length, word_t *buffer); 131 cte_t* slot, extra_caps_t rootCaps, word_t *buffer); 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); 136 cte_t* slot, extra_caps_t excaps, word_t *buffer); 138 cte_t* slot, extra_caps_t excaps, word_t *buffer); [all...] |
H A D | cnode.h | 27 word_t *buffer); 48 cte_t *getReceiveSlots(tcb_t *thread, word_t *buffer); 49 cap_transfer_t PURE loadCapTransfer(word_t *buffer);
|
/seL4-mcs-10.1.1/src/arch/riscv/object/ |
H A D | interrupt.c | 33 word_t *buffer) 31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/seL4-mcs-10.1.1/src/arch/x86/32/machine/ |
H A D | registerset.c | 58 seL4_IPCBuffer *buffer = (seL4_IPCBuffer *) lookupIPCBuffer(false, NODE_STATE(ksCurThread)); local 59 if (buffer != NULL) { 60 return buffer->reserved;
|
/seL4-mcs-10.1.1/src/arch/x86/object/ |
H A D | interrupt.c | 77 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument 107 index = getSyscallArg(0, buffer); 108 depth = getSyscallArg(1, buffer); 110 irq = getSyscallArg(6, buffer); 142 word_t ioapic = getSyscallArg(2, buffer); 143 word_t pin = getSyscallArg(3, buffer); 144 word_t level = getSyscallArg(4, buffer); 145 word_t polarity = getSyscallArg(5, buffer); 157 word_t pci_bus = getSyscallArg(2, buffer); 158 word_t pci_dev = getSyscallArg(3, buffer); [all...] |
H A D | vcpu.c | 528 invokeVCPUWriteRegisters(vcpu_t *vcpu, word_t *buffer) argument 532 vcpu->gp_registers[i] = getSyscallArg(i, buffer); 539 decodeVCPUWriteRegisters(cap_t cap, word_t length, word_t *buffer) argument 546 return invokeVCPUWriteRegisters(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)), buffer); 566 decodeEnableIOPort(cap_t cap, word_t length, word_t* buffer, extra_caps_t excaps) argument 592 low = getSyscallArg(0, buffer); 593 high = getSyscallArg(1, buffer); 617 decodeDisableIOPort(cap_t cap, word_t length, word_t* buffer) argument 628 low = getSyscallArg(0, buffer); 629 high = getSyscallArg(1, buffer); 637 invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument 665 decodeWriteVMCS(cap_t cap, word_t length, word_t* buffer) argument 789 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument 802 decodeReadVMCS(cap_t cap, word_t length, word_t* buffer) argument 911 decodeSetTCB(cap_t cap, word_t length, word_t* buffer, extra_caps_t excaps) argument 933 word_t *buffer; local 950 word_t *buffer; local 1098 word_t *buffer; local 1103 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_EIP_MR, vmread(VMX_GUEST_RIP)); local 1104 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_PPC_MR, vmread(VMX_CONTROL_PRIMARY_PROCESSOR_CONTROLS)); local 1105 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_CALL_CONTROL_ENTRY_MR, vmread(VMX_CONTROL_ENTRY_INTERRUPTION_INFO)); local 1106 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_REASON_MR, reason); local 1107 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_QUALIFICATION_MR, qualification); local 1109 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_INSTRUCTION_LEN_MR, vmread(VMX_DATA_EXIT_INSTRUCTION_LENGTH)); local 1110 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_GUEST_PHYSICAL_MR, vmread(VMX_DATA_GUEST_PHYSICAL)); local 1111 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_RFLAGS_MR, vmread(VMX_GUEST_RFLAGS)); local 1112 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_GUEST_INT_MR, vmread(VMX_GUEST_INTERRUPTABILITY)); local 1113 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_CR3_MR, vmread(VMX_GUEST_CR3)); local 1116 setMR(NODE_STATE(ksCurThread), buffer, SEL4_VMENTER_FAULT_EAX + i, NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->gp_registers[i]); local [all...] |
H A D | ioport.c | 121 word_t* buffer 144 first_port = getSyscallArg(0, buffer) & 0xffff; 145 last_port = getSyscallArg(1, buffer) & 0xffff; 146 index = getSyscallArg(2, buffer); 147 depth = getSyscallArg(3, buffer); 166 userError("Target slot for new IO Port cap invalid: cap %lu.", getExtraCPtr(buffer, 0)); 173 userError("Target slot for new IO Port cap not empty: cap %lu.", getExtraCPtr(buffer, 0)); 255 word_t* buffer 267 uint16_t port = getSyscallArg(0, buffer) & 0xffff; 292 uint16_t port = getSyscallArg(0, buffer) [all...] |
/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 105 time_t budget_us = mode_parseTimeArg(0, buffer); 106 time_t period_us = mode_parseTimeArg(TIME_ARG_SIZE, buffer); 107 word_t extra_refills = getSyscallArg(TIME_ARG_SIZE * 2, buffer); 108 word_t badge = getSyscallArg(TIME_ARG_SIZE * 2 + 1, buffer); 163 word_t *buffer) 167 return decodeSchedControl_Configure(length, cap, extraCaps, buffer); 162 decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, word_t *buffer) argument
|
H A D | tcb.c | 431 invokeConfigureSingleStepping(word_t *buffer, tcb_t *t, argument 439 setMR(NODE_STATE(ksCurThread), buffer, 0, false); local 442 setMR(NODE_STATE(ksCurThread), buffer, 0, bp_was_consumed); local 448 decodeConfigureSingleStepping(cap_t cap, word_t *buffer) argument 457 bp_num = getSyscallArg(0, buffer); 458 n_instrs = getSyscallArg(1, buffer); 467 return invokeConfigureSingleStepping(buffer, tcb, bp_num, n_instrs); 481 decodeSetBreakpoint(cap_t cap, word_t *buffer) argument 489 bp_num = getSyscallArg(0, buffer); 490 vaddr = getSyscallArg(1, buffer); 599 invokeGetBreakpoint(word_t *buffer, tcb_t *tcb, uint16_t bp_num) argument 604 setMR(NODE_STATE(ksCurThread), buffer, 0, res.vaddr); local 605 setMR(NODE_STATE(ksCurThread), buffer, 1, res.type); local 606 setMR(NODE_STATE(ksCurThread), buffer, 2, res.size); local 607 setMR(NODE_STATE(ksCurThread), buffer, 3, res.rw); local 608 setMR(NODE_STATE(ksCurThread), buffer, 4, res.is_enabled); local 613 decodeGetBreakpoint(cap_t cap, word_t *buffer) argument 642 decodeUnsetBreakpoint(cap_t cap, word_t *buffer) argument 676 decodeSetTLSBase(cap_t cap, word_t length, word_t *buffer) argument 697 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t* slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument 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 1711 invokeTCB_WriteRegisters(tcb_t *dest, bool_t resumeTarget, word_t n, word_t arch, word_t *buffer) argument [all...] |
H A D | schedcontext.c | 154 setConsumed(sched_context_t *sc, word_t *buffer) argument 157 word_t length = mode_setTimeArg(0, consumed, buffer, NODE_STATE(ksCurThread)); 162 invokeSchedContext_Consumed(sched_context_t *sc, word_t *buffer) argument 164 setConsumed(sc, buffer); 169 invokeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument 192 * so we don't need to write to the ipc buffer 199 setConsumed(sc, buffer); 206 decodeSchedContext_YieldTo(sched_context_t *sc, word_t *buffer) argument 228 return invokeSchedContext_YieldTo(sc, buffer); 232 decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument [all...] |
H A D | interrupt.c | 30 word_t *buffer) 44 irq_w = getSyscallArg(0, buffer); 46 index = getSyscallArg(1, buffer); 47 depth = getSyscallArg(2, buffer); 65 getExtraCPtr(buffer, 0), (int)irq); 73 getExtraCPtr(buffer, 0), (int)irq); 80 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer); 28 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
H A D | untyped.c | 34 bool_t call, word_t *buffer) 65 newType = getSyscallArg(0, buffer); 66 userObjSize = getSyscallArg(1, buffer); 67 nodeIndex = getSyscallArg(2, buffer); 68 nodeDepth = getSyscallArg(3, buffer); 69 nodeOffset = getSyscallArg(4, buffer); 70 nodeWindow = getSyscallArg(5, buffer); 32 decodeUntypedInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer) argument
|
/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);
|