Searched refs:tcbContext (Results 1 - 25 of 35) sorted by relevance

12

/seL4-camkes-master/kernel/include/machine/
H A Ddebug.h83 if (t->tcbArch.tcbContext.breakpointState.n_instructions > 0) {
84 t->tcbArch.tcbContext.breakpointState.n_instructions--;
86 return t->tcbArch.tcbContext.breakpointState.n_instructions == 0;
H A Dregisterset.h31 thread->tcbArch.tcbContext.registers[reg] = w;
36 return thread->tcbArch.tcbContext.registers[reg];
H A Dfpu.h30 return &thread->tcbArch.tcbContext.fpuState ==
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/
H A Dstack.h36 SMP_COND_STATEMENT(NODE_STATE(ksCurThread)->tcbArch.tcbContext.kernelSP = kernel_stack_top);
39 register_context_top = (word_t)&target_thread->tcbArch.tcbContext.registers[SS + 1];
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h56 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf |= BIT(bp_num);
63 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf &= ~BIT(bp_num);
79 disable_value = t->tcbArch.tcbContext.breakpointState.dr[5];
89 if (uds->tcbContext.breakpointState.used_breakpoints_bf != 0) {
96 if (uds->tcbContext.breakpointState.single_step_enabled == true) {
97 uds->tcbContext.registers[FLAGS] |= FLAGS_TF;
/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dc_traps.c147 if (likely(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] == -1)) {
148 NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
176 : "r"(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[EAX]),
197 : "r"(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[EAX])
/seL4-camkes-master/kernel/src/arch/x86/64/
H A Dc_traps.c179 if (likely(cur_thread->tcbArch.tcbContext.registers[Error] == -1) &&
181 || ((cur_thread->tcbArch.tcbContext.registers[FLAGS] & FLAGS_TF) == 0))) {
199 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
253 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI]),
299 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI])
375 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI])
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Dc_traps.c62 : "r"(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers),
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h102 assert(!cur_thread->tcbArch.tcbContext.breakpointState.single_step_enabled);
111 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
127 : "c"(&cur_thread->tcbArch.tcbContext.registers[EDI]),
128 "a"(cur_thread->tcbArch.tcbContext.registers[EAX]),
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dthread.c21 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]),
55 : [value] "r"(&tcb->tcbArch.tcbContext.registers[Error + 1]),
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h143 if (!t->tcbArch.tcbContext.breakpointState.single_step_enabled) {
151 bp_num = t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num;
165 if (t->tcbArch.tcbContext.breakpointState.single_step_enabled == true) {
166 if (bp_num != t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num) {
257 bcr.words[0] = t->tcbArch.tcbContext.breakpointState.breakpoint[bp_num].cr;
/seL4-camkes-master/kernel/src/machine/
H A Dfpu.c55 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.fpuState);
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h120 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h51 : [value] "r"(&thread->tcbArch.tcbContext.registers[Error + 1]),
163 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
208 : "c"(&cur_thread->tcbArch.tcbContext.registers[RAX]),
252 : "r"(&cur_thread->tcbArch.tcbContext.registers[RAX]),
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h121 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c68 return t->tcbArch.tcbContext.breakpointState.dr[5];
73 t->tcbArch.tcbContext.breakpointState.dr[5] |= val;
78 t->tcbArch.tcbContext.breakpointState.dr[5] &= mask;
371 user_breakpoint_state_t *ubs = &t->tcbArch.tcbContext.breakpointState;
421 user_breakpoint_state_t *ubs = &t->tcbArch.tcbContext.breakpointState;
498 ret.instr_vaddr = t->tcbArch.tcbContext.registers[FaultIP];
513 t->tcbArch.tcbContext.registers[FLAGS] |= X86_DEBUG_EFLAGS_RESUME_FLAG;
525 t->tcbArch.tcbContext.breakpointState.single_step_enabled = false;
526 t->tcbArch.tcbContext.registers[FLAGS] &= ~X86_DEBUG_EFLAGS_TRAP_FLAG;
528 t->tcbArch.tcbContext
[all...]
/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c53 vm_fault_type_t type = (NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error] >> 4u) & 1u;
64 ksKernelEntry.word = NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FaultIP];
73 handleUserLevelFault(irq, NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[Error]);
90 NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FaultIP] -= 2;
164 NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[NextIP] += 2;
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c307 return t->tcbArch.tcbContext.breakpointState.breakpoint[index].cr;
313 return t->tcbArch.tcbContext.breakpointState.breakpoint[index].vr;
319 return t->tcbArch.tcbContext.breakpointState.watchpoint[index].cr;
325 return t->tcbArch.tcbContext.breakpointState.watchpoint[index].vr;
331 t->tcbArch.tcbContext.breakpointState.breakpoint[index].cr = val;
337 t->tcbArch.tcbContext.breakpointState.breakpoint[index].vr = val;
343 t->tcbArch.tcbContext.breakpointState.watchpoint[index].cr = val;
349 t->tcbArch.tcbContext.breakpointState.watchpoint[index].vr = val;
676 bp_num = t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num;
700 t->tcbArch.tcbContext
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h179 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf |= BIT(bp_num);
186 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf &= ~BIT(bp_num);
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h111 register word_t cur_thread_reg asm("x2") = (word_t)cur_thread->tcbArch.tcbContext.registers;
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h37 user_context_t tcbContext; member in struct:arch_tcb
/seL4-camkes-master/kernel/src/arch/riscv/
H A Dc_traps.c24 word_t cur_thread_reg = (word_t) NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers;
/seL4-camkes-master/kernel/src/fastpath/
H A Dfastpath.c73 if (unlikely(dest->tcbArch.tcbContext.breakpointState.single_step_enabled)) {
323 if (unlikely(caller->tcbArch.tcbContext.breakpointState.single_step_enabled)) {
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h31 user_context_t tcbContext; member in struct:arch_tcb
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c87 return tcb->tcbArch.tcbContext.registers[SP];

Completed in 182 milliseconds

12