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
15int socfpga_secure_reg_read32(u32 id, u32 *val);
16int socfpga_secure_reg_write32(u32 id, u32 val);
17int socfpga_secure_reg_update32(u32 id, u32 mask, u32 val);
18
19#endif /* _SECURE_REG_HELPER_H_ */
20