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 18 19 typedef struct { 20 char kind[32]; 21 addr_range regs1; 22 addr_range regs2; 23 } __attribute__((packed)) intc_info; 24 25 26 #endif /* KERNEL_BOOT_INTERRUPT_CONTROLLER_H */ 27