x86/64/c_traps.c

37     tcb_t *cur_thread = NODE_STATE(ksCurThread);
40     loadAllDisabledBreakpointState(cur_thread);
42     if (cur_thread->tcbArch.tcbVCPU->launched) {
73             : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
114             : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
152     tcb_t *cur_thread = NODE_STATE(ksCurThread);
155     if (thread_state_ptr_get_tsType(&cur_thread->tcbState) == ThreadState_RunningVM) {
159     lazyFPURestore(cur_thread);
162     restore_user_debug_context(cur_thread);
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])
314         irqstack[1] = getRegister(cur_thread, NextIP);
315         irqstack[2] = getRegister(cur_thread, CS);
316         irqstack[3] = getRegister(cur_thread, FLAGS);
317         irqstack[4] = getRegister(cur_thread, RSP);
318         irqstack[5] = getRegister(cur_thread, SS);
375             : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI])