Lines Matching refs:tagged_regs
173 x86_saved_state_t *tagged_regs = (x86_saved_state_t *)find_user_regs(current_thread());
175 if (NULL == tagged_regs) {
179 } else if (is_saved_state64(tagged_regs)) {
180 x86_saved_state64_t *regs = saved_state64(tagged_regs);
184 x86_saved_state32_t *regs = saved_state32(tagged_regs);
208 x86_saved_state_t *tagged_regs = (x86_saved_state_t *)find_user_regs(current_thread());
210 if (NULL == tagged_regs) {
214 } else if (is_saved_state64(tagged_regs)) {
215 x86_saved_state64_t *regs = saved_state64(tagged_regs);
219 x86_saved_state32_t *regs = saved_state32(tagged_regs);