Lines Matching refs:int_state
1530 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state;
1535 if (thread != current_thread() || int_state == NULL)
1543 if (!is_saved_state32(int_state) ||
1549 saved_state = saved_state32(int_state);
1579 if (!is_saved_state64(int_state) ||
1585 saved_state = saved_state64(int_state);
1624 if (is_saved_state32(int_state)) {
1625 x86_saved_state32_t *saved_state = saved_state32(int_state);
1649 } else if (is_saved_state64(int_state)) {
1650 x86_saved_state64_t *saved_state = saved_state64(int_state);