Lines Matching defs:tagged_regs
485 x86_saved_state_t *tagged_regs = NULL; // kernel register state
505 tagged_regs = current_cpu_datap()->cpu_int_state;
507 if(is_saved_state64(tagged_regs)) {
509 regs64 = saved_state64(tagged_regs);
513 regs32 = saved_state32(tagged_regs);
537 } else if(!tagged_regs) {
542 tagged_regs = USER_STATE(thread);
543 if(is_saved_state64(tagged_regs)) {
545 regs64 = saved_state64(tagged_regs);
549 regs32 = saved_state32(tagged_regs);