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