xref: /optee_os/core/include/kernel/chip_services.h (revision 3026afe00f2b3fc1d81d2f2f84f049da75980a41)
1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 
6 #ifndef __KERNEL_CHIP_SERVICES_H
7 #define __KERNEL_CHIP_SERVICES_H
8 
9 /* Die ID */
10 #define FVR_DIE_ID_NUM_REGS                 3
11 
12 #endif
13