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