/* $FreeBSD: head/sys/arm64/include/psl.h 281526 2015-04-14 13:55:01Z andrew $ */