Searched refs:int_state (Results 1 – 1 of 1) sorted by relevance
1834 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state; in machine_thread_get_kern_state() local1839 if (thread != current_thread() || int_state == NULL) { in machine_thread_get_kern_state()1848 if (!is_saved_state32(int_state) || in machine_thread_get_kern_state()1855 saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1885 if (!is_saved_state64(int_state) || in machine_thread_get_kern_state()1892 saved_state = saved_state64(int_state); in machine_thread_get_kern_state()1932 if (is_saved_state32(int_state)) { in machine_thread_get_kern_state()1933 x86_saved_state32_t *saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1957 } else if (is_saved_state64(int_state)) { in machine_thread_get_kern_state()1958 x86_saved_state64_t *saved_state = saved_state64(int_state); in machine_thread_get_kern_state()