1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Copyright (c) 2022, Linaro Limited 4 */ 5 6 #include <types_ext.h> 7 #include <util.h> 8 #include "pauth.h" 9 10 void pauth_strip_pac(uint64_t *lr) 11 { 12 const uint64_t va_mask = GENMASK_64(CFG_LPAE_ADDR_SPACE_BITS - 1, 0); 13 14 *lr = *lr & va_mask; 15 } 16