Symbol: RISCV_CONST_HIGH_PART