Searched refs:int_state (Results 1 – 1 of 1) sorted by relevance
1830 x86_saved_state_t *int_state = current_cpu_datap()->cpu_int_state; in machine_thread_get_kern_state() local1835 if (thread != current_thread() || int_state == NULL) { in machine_thread_get_kern_state()1844 if (!is_saved_state32(int_state) || in machine_thread_get_kern_state()1851 saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1881 if (!is_saved_state64(int_state) || in machine_thread_get_kern_state()1888 saved_state = saved_state64(int_state); in machine_thread_get_kern_state()1928 if (is_saved_state32(int_state)) { in machine_thread_get_kern_state()1929 x86_saved_state32_t *saved_state = saved_state32(int_state); in machine_thread_get_kern_state()1953 } else if (is_saved_state64(int_state)) { in machine_thread_get_kern_state()1954 x86_saved_state64_t *saved_state = saved_state64(int_state); in machine_thread_get_kern_state()