1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) Microsoft Corporation. All rights reserved.
4  */
5 #ifndef __IMX_PL310_H__
6 #define __IMX_PL310_H__
7 
8 uint32_t pl310_enable(void);
9 uint32_t pl310_disable(void);
10 uint32_t pl310_enable_writeback(void);
11 uint32_t pl310_disable_writeback(void);
12 uint32_t pl310_enable_wflz(void);
13 
14 #endif /* __IMX_PL310_H__ */
15 
16