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

#ifndef __KERNEL_CHIP_SERVICES_H
#define __KERNEL_CHIP_SERVICES_H

/* Die ID */
#define FVR_DIE_ID_NUM_REGS                 3

#endif
