freebsd-skq/sys/riscv/include/psl.h