2 * Copyright (C) 2016 Freescale Semiconductor, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
10 #define RDC_SEMA_PROC_ID 2 /* The processor ID for main CPU */
20 RDC_PER_IOMUXC_LPSR_GPR,
55 RDC_PER_SYSTEM_COUNTER_READ,
56 RDC_PER_SYSTEM_COUNTER_COMPARE,
57 RDC_PER_SYSTEM_COUNTER_CONTROL,
75 RDC_PER_AXI_DEBUG_MON,
163 #endif /* __MX7D_RDC_H__*/