AARCH64_ADDRESS_PAC_MASK
(AARCH64_ADDRESS_TAG_MASK|AARCH64_ADDRESS_PAC_MASK)
if ((va & AARCH64_ADDRESS_PAC_MASK) != 0)
if ((va & AARCH64_ADDRESS_PAC_MASK) != AARCH64_ADDRESS_PAC_MASK)