]>
Commit | Line | Data |
---|---|---|
decf4f80 EA |
1 | /* |
2 | * | |
3 | * Copyright (c) 2015 Linaro Limited | |
4 | * | |
5 | * This program is free software; you can redistribute it and/or modify it | |
6 | * under the terms and conditions of the GNU General Public License, | |
7 | * version 2 or later, as published by the Free Software Foundation. | |
8 | * | |
9 | * This program is distributed in the hope it will be useful, but WITHOUT | |
10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for | |
12 | * more details. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License along with | |
15 | * this program. If not, see <http://www.gnu.org/licenses/>. | |
16 | * | |
17 | * Define macros useful when building ARM device tree nodes | |
18 | */ | |
19 | ||
20 | #ifndef QEMU_ARM_FDT_H | |
21 | #define QEMU_ARM_FDT_H | |
22 | ||
23 | #define GIC_FDT_IRQ_TYPE_SPI 0 | |
24 | #define GIC_FDT_IRQ_TYPE_PPI 1 | |
25 | ||
26 | #define GIC_FDT_IRQ_FLAGS_EDGE_LO_HI 1 | |
27 | #define GIC_FDT_IRQ_FLAGS_EDGE_HI_LO 2 | |
28 | #define GIC_FDT_IRQ_FLAGS_LEVEL_HI 4 | |
29 | #define GIC_FDT_IRQ_FLAGS_LEVEL_LO 8 | |
30 | ||
31 | #define GIC_FDT_IRQ_PPI_CPU_START 8 | |
32 | #define GIC_FDT_IRQ_PPI_CPU_WIDTH 8 | |
33 | ||
34 | #endif |