1 /* SPDX-License-Identifier: GPL-2.0+ OR BSD-3-Clause */
2 /*
3  * Copyright (C) 2015-2017, STMicroelectronics - All Rights Reserved
4  */
5 
6 /* ID = Device Version (bit31:16) + Device Part Number (RPN) (bit7:0) */
7 #define CPU_STM32MP157Cxx	0x05000000
8 #define CPU_STM32MP157Axx	0x05000001
9 #define CPU_STM32MP153Cxx	0x05000024
10 #define CPU_STM32MP153Axx	0x05000025
11 #define CPU_STM32MP151Cxx	0x0500002E
12 #define CPU_STM32MP151Axx	0x0500002F
13 #define CPU_STM32MP157Fxx	0x05000080
14 #define CPU_STM32MP157Dxx	0x05000081
15 #define CPU_STM32MP153Fxx	0x050000A4
16 #define CPU_STM32MP153Dxx	0x050000A5
17 #define CPU_STM32MP151Fxx	0x050000AE
18 #define CPU_STM32MP151Dxx	0x050000AF
19 
20 /* return CPU_STMP32MP...Xxx constants */
21 u32 get_cpu_type(void);
22 
23 #define CPU_DEV_STM32MP15	0x500
24 
25 /* return CPU_DEV constants */
26 u32 get_cpu_dev(void);
27 
28 #define CPU_REVA	0x1000
29 #define CPU_REVB	0x2000
30 #define CPU_REVZ	0x2001
31 
32 /* return CPU_REV constants */
33 u32 get_cpu_rev(void);
34 
35 /* Get Package options from OTP */
36 u32 get_cpu_package(void);
37 
38 #define PKG_AA_LBGA448	4
39 #define PKG_AB_LBGA354	3
40 #define PKG_AC_TFBGA361	2
41 #define PKG_AD_TFBGA257	1
42 
43 /* Get SOC name */
44 #define SOC_NAME_SIZE 20
45 void get_soc_name(char name[SOC_NAME_SIZE]);
46 
47 /* return boot mode */
48 u32 get_bootmode(void);
49 
50 int setup_mac_address(void);
51 
52 /* board power management : configure vddcore according OPP */
53 void board_vddcore_init(u32 voltage_mv);
54