1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2016 Freescale Semiconductor, Inc.
9 #define RDC_SEMA_PROC_ID 2 /* The processor ID for main CPU */
19 RDC_PER_IOMUXC_LPSR_GPR,
54 RDC_PER_SYSTEM_COUNTER_READ,
55 RDC_PER_SYSTEM_COUNTER_COMPARE,
56 RDC_PER_SYSTEM_COUNTER_CONTROL,
74 RDC_PER_AXI_DEBUG_MON,
162 #endif /* __MX7D_RDC_H__*/