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