/seL4-camkes-master/kernel/include/machine/ |
H A D | debug.h | 83 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 D | registerset.h | 31 thread->tcbArch.tcbContext.registers[reg] = w; 36 return thread->tcbArch.tcbContext.registers[reg];
|
H A D | fpu.h | 30 return &thread->tcbArch.tcbContext.fpuState ==
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/ |
H A D | stack.h | 36 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 D | debug.h | 56 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 D | c_traps.c | 147 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 D | c_traps.c | 179 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 D | c_traps.c | 62 : "r"(NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers),
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 102 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 D | thread.c | 21 : [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 D | debug.h | 143 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 D | fpu.c | 55 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.fpuState);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/machine/ |
H A D | debug.h | 120 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 51 : [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 D | debug.h | 121 : "r"(source->tcbArch.tcbContext.breakpointState.dr)
|
/seL4-camkes-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 68 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 D | c_traps.c | 53 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 D | debug.c | 307 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 D | debug.h | 179 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 D | fastpath.h | 111 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 D | structures.h | 37 user_context_t tcbContext; member in struct:arch_tcb
|
/seL4-camkes-master/kernel/src/arch/riscv/ |
H A D | c_traps.c | 24 word_t cur_thread_reg = (word_t) NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers;
|
/seL4-camkes-master/kernel/src/fastpath/ |
H A D | fastpath.c | 73 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 D | structures.h | 31 user_context_t tcbContext; member in struct:arch_tcb
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 87 return tcb->tcbArch.tcbContext.registers[SP];
|