1/*
2 * Copyright 2021 Haiku, Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef KERNEL_BOOT_INTERRUPT_CONTROLLER_H
6#define KERNEL_BOOT_INTERRUPT_CONTROLLER_H
7
8
9#include <boot/addr_range.h>
10#include <SupportDefs.h>
11
12
13#define		INTC_KIND_GICV1		"gicv1"
14#define		INTC_KIND_GICV2		"gicv2"
15#define		INTC_KIND_OMAP3		"omap3"
16#define		INTC_KIND_PXA		"pxa"
17#define		INTC_KIND_SUN4I		"sun4i"
18
19
20typedef struct {
21	char kind[32];
22	addr_range regs1;
23	addr_range regs2;
24} __attribute__((packed)) intc_info;
25
26
27#endif /* KERNEL_BOOT_INTERRUPT_CONTROLLER_H */
28