Lines Matching refs:tagged_regs
216 x86_saved_state_t *tagged_regs = (x86_saved_state_t *)find_user_regs(current_thread());
218 if (NULL == tagged_regs) {
222 } else if (is_saved_state64(tagged_regs)) {
223 x86_saved_state64_t *regs = saved_state64(tagged_regs);
227 x86_saved_state32_t *regs = saved_state32(tagged_regs);
262 x86_saved_state_t *tagged_regs = (x86_saved_state_t *)find_user_regs(current_thread());
264 if (NULL == tagged_regs) {
268 } else if (is_saved_state64(tagged_regs)) {
269 x86_saved_state64_t *regs = saved_state64(tagged_regs);
273 x86_saved_state32_t *regs = saved_state32(tagged_regs);