core/include/kernel/chip_services.h

/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 */

#ifndef CHIP_SERVICES_H
#define CHIP_SERVICES_H

/* Die ID */
#define FVR_DIE_ID_NUM_REGS                 3

#endif