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 
pauth_strip_pac(uint64_t * lr)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