HelenOS sources

ISTATE_OFFSET_X12   48 kernel/arch/arm64/include/arch/istate_struct.h #define ISTATE_OFFSET_X12    0x80
ISTATE_OFFSET_X12   44 kernel/arch/riscv64/include/arch/istate_struct.h #define ISTATE_OFFSET_X12   0x60
ISTATE_OFFSET_X12   48 uspace/lib/c/arch/arm64/include/libarch/istate_struct.h #define ISTATE_OFFSET_X12    0x80
ISTATE_OFFSET_X12   44 uspace/lib/c/arch/riscv64/include/libarch/istate_struct.h #define ISTATE_OFFSET_X12   0x60

HelenOS homepage, sources at GitHub