platform_defs.h
1/*
2 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef _HARDWARE_PLATFORM_DEFS_H
8#define _HARDWARE_PLATFORM_DEFS_H
9
10#define NUM_CORES 2u
11
12#define NUM_DMA_CHANNELS 12u
13
14#define NUM_TIMERS 4u
15
16#define NUM_IRQS 32u
17
18#define NUM_SPIN_LOCKS 32u
19
20#define XOSC_MHZ 12
21
22#define NUM_SPIN_LOCKS 32u
23
24#ifndef _u
25#define _u(x) x ## u
26#endif
27
28#endif