riscv: update builtin names

190e7d0239David Rubin committed on 5/11/2024, 9:17:11 AMparent2cbd8e1
1 file changedLine totals unavailable