Searched refs:int_state (Results 1 – 1 of 1) sorted by relevance
1858 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state; in machine_thread_get_kern_state() local1863 if (thread != current_thread() || int_state == NULL) { in machine_thread_get_kern_state()1872 if (!is_saved_state32(int_state) || in machine_thread_get_kern_state()1879 saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1909 if (!is_saved_state64(int_state) || in machine_thread_get_kern_state()1916 saved_state = saved_state64(int_state); in machine_thread_get_kern_state()1956 if (is_saved_state32(int_state)) { in machine_thread_get_kern_state()1957 x86_saved_state32_t *saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1981 } else if (is_saved_state64(int_state)) { in machine_thread_get_kern_state()1982 x86_saved_state64_t *saved_state = saved_state64(int_state); in machine_thread_get_kern_state()