1 /* SPDX-License-Identifier: GPL-2.0
2  *
3  * Copyright (C) 2020 Intel Corporation <www.intel.com>
4  *
5  */
6 
7 #ifndef	_SECURE_REG_HELPER_H_
8 #define	_SECURE_REG_HELPER_H_
9 
10 #define SOCFPGA_SECURE_REG_SYSMGR_SOC64_SDMMC 1
11 #define SOCFPGA_SECURE_REG_SYSMGR_SOC64_EMAC0 2
12 #define SOCFPGA_SECURE_REG_SYSMGR_SOC64_EMAC1 3
13 #define SOCFPGA_SECURE_REG_SYSMGR_SOC64_EMAC2 4
14 
15 int socfpga_secure_reg_read32(u32 id, u32 *val);
16 int socfpga_secure_reg_write32(u32 id, u32 val);
17 int socfpga_secure_reg_update32(u32 id, u32 mask, u32 val);
18 
19 #endif /* _SECURE_REG_HELPER_H_ */
20