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