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