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