Edit: switch_riscv_unix.h