/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2022, Linaro Limited
 */

#ifndef PAUTH_H
#define PAUTH_H

#include <types_ext.h>
#include <util.h>

void pauth_strip_pac(uint64_t *lr);

#endif /*PAUTH_H*/