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