istate_get 66 kernel/generic/include/interrupt.h extern istate_t *istate_get(thread_t *); istate_get 153 kernel/generic/src/syscall/syscall.c THREAD->udebug.uspace_state = istate_get(THREAD);