{ Use same source as riscv64 version }
{$i ../riscv64/si_prc.inc}