blob: e837a673ac131adfdacc24eb368720ccd3f60df2 [file] [log] [blame]
Dimitris Papastamos914757c2018-03-12 14:47:09 +00001/*
2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef __WORKAROUND_CVE_2017_5715_H__
8#define __WORKAROUND_CVE_2017_5715_H__
9
10int check_workaround_cve_2017_5715(void);
11
12#endif /* __WORKAROUND_CVE_2017_5715_H__ */