xref: /freebsd/sys/riscv/include/psl.h (revision d439598dd0d341b0c0b77151ba904e09c42f8421)