Lines Matching refs:tagged_regs
496 x86_saved_state_t *tagged_regs = NULL; // kernel register state
516 tagged_regs = current_cpu_datap()->cpu_int_state;
518 if(is_saved_state64(tagged_regs)) {
520 regs64 = saved_state64(tagged_regs);
524 regs32 = saved_state32(tagged_regs);
548 } else if(!tagged_regs) {
553 tagged_regs = USER_STATE(thread);
554 if(is_saved_state64(tagged_regs)) {
556 regs64 = saved_state64(tagged_regs);
560 regs32 = saved_state32(tagged_regs);