HelenOS sources

ISTATE_OFFSET_HI   64 kernel/arch/mips32/include/arch/istate_struct.h #define ISTATE_OFFSET_HI         0x80
ISTATE_OFFSET_HI   64 uspace/lib/c/arch/mips32/include/libarch/istate_struct.h #define ISTATE_OFFSET_HI         0x80
HelenOS homepage, sources at GitHub