Symbol: __riscv_ctx_hdr