Searched refs:int_state (Results 1 – 1 of 1) sorted by relevance
1857 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state; in machine_thread_get_kern_state() local1862 if (thread != current_thread() || int_state == NULL) { in machine_thread_get_kern_state()1871 if (!is_saved_state32(int_state) || in machine_thread_get_kern_state()1878 saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1908 if (!is_saved_state64(int_state) || in machine_thread_get_kern_state()1915 saved_state = saved_state64(int_state); in machine_thread_get_kern_state()1955 if (is_saved_state32(int_state)) { in machine_thread_get_kern_state()1956 x86_saved_state32_t *saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1980 } else if (is_saved_state64(int_state)) { in machine_thread_get_kern_state()1981 x86_saved_state64_t *saved_state = saved_state64(int_state); in machine_thread_get_kern_state()