HelenOS sources

istate_decode      73 kernel/generic/include/interrupt.h extern void istate_decode(istate_t *);
istate_decode     111 kernel/generic/src/debug/panic.c 		istate_decode(istate);
istate_decode     177 kernel/generic/src/interrupt/interrupt.c 	istate_decode(istate);