1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2022, Linaro Limited 4 */ 5 6 #ifndef PAUTH_H 7 #define PAUTH_H 8 9 #include <types_ext.h> 10 #include <util.h> 11 12 void pauth_strip_pac(uint64_t *lr); 13 14 #endif /*PAUTH_H*/ 15 16