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