| // SPDX-License-Identifier: BSD-2-Clause | |
| /* | |
| * Copyright (c) 2022, Linaro Limited | |
| */ | |
| #include <types_ext.h> | |
| #include <util.h> | |
| #include "pauth.h" | |
| void pauth_strip_pac(uint64_t *lr) | |
| { | |
| const uint64_t va_mask = GENMASK_64(CFG_LPAE_ADDR_SPACE_BITS - 1, 0); | |
| *lr = *lr & va_mask; | |
| } |