Lines Matching refs:int_state
1533 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state;
1538 if (thread != current_thread() || int_state == NULL)
1546 if (!is_saved_state32(int_state) ||
1552 saved_state = saved_state32(int_state);
1582 if (!is_saved_state64(int_state) ||
1588 saved_state = saved_state64(int_state);
1627 if (is_saved_state32(int_state)) {
1628 x86_saved_state32_t *saved_state = saved_state32(int_state);
1652 } else if (is_saved_state64(int_state)) {
1653 x86_saved_state64_t *saved_state = saved_state64(int_state);