review.coreboot.org / coreboot / b7c39b2bc1a98bf9716ae6dae59099556fabfa8f / src / arch / riscv / misc.c