Searched refs:k_rbx (Results 1 – 5 of 5) sorted by relevance
95 uint64_t k_rbx; /* kernel context */ member
1490 iks->k_rbx = regs->rbx; in sync_iss_to_iks()1503 __asm__ volatile ("movq %%rbx, %0" : "=m" (iks->k_rbx)); in sync_iss_to_iks()1533 __asm__ volatile ("movq %%rbx, %0" : "=m" (iks->k_rbx)); in sync_iss_to_iks_unconditionally()
158 DECLARE("KSS_RBX", offsetof(struct thread_kernel_state, machine.k_rbx)); in main()
2159 statep->k_rbx = (uint64_t) thread_continue; in machine_stack_attach()
178 tstate->rbx = iks->k_rbx; in kern_collectth_state()