/*
 * Copyright 2021 Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_BOOT_INTERRUPT_CONTROLLER_H
#define KERNEL_BOOT_INTERRUPT_CONTROLLER_H


#include <boot/addr_range.h>
#include <SupportDefs.h>


#define         INTC_KIND_GICV1         "gicv1"
#define         INTC_KIND_GICV2         "gicv2"
#define         INTC_KIND_OMAP3         "omap3"
#define         INTC_KIND_PXA           "pxa"
#define         INTC_KIND_SUN4I         "sun4i"


typedef struct {
        char kind[32];
        addr_range regs1;
        addr_range regs2;
} __attribute__((packed)) intc_info;


#endif /* KERNEL_BOOT_INTERRUPT_CONTROLLER_H */