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