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