/*
 * Copyright (c) 2023, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef RDN2_RAS_H
#define RDN2_RAS_H

#include <sgi_ras.h>

extern struct plat_sgi_ras_config ras_config;

#endif /* RDN2_RAS_H */