chud/i386/chud_thread_i386.c

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);