HelenOS sources

istate_get_pc     121 kernel/generic/src/debug/stacktrace.c 		.pc = istate_get_pc(istate),
istate_get_pc     175 kernel/generic/src/interrupt/interrupt.c 	    (void *) istate_get_pc(istate));
istate_get_pc     372 uspace/app/taskdump/taskdump.c 	pc = istate_get_pc(&istate);