intc_bcm283x.h

Go to the documentation of this file.

/*
 * Copyright (c) 2026 Jonathan Elliot Peace <jep@alphabetiq.com>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

 
#ifndef ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_BCM283X_H_
#define ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_BCM283X_H_
 
#include <stdint.h>


#define BCM283X_ARMC_IRQ_BASE   32U

#define BCM283X_ARMC_IRQ_LIMIT  (BCM283X_ARMC_IRQ_BASE + 96U)

#define BCM283X_IRQ_IS_L1(irq)    ((irq) < BCM283X_ARMC_IRQ_BASE)

#define BCM283X_IRQ_IS_ARMC(irq)  ((irq) >= BCM283X_ARMC_IRQ_BASE && \
                                   (irq) < BCM283X_ARMC_IRQ_LIMIT)

#define BCM2836_L1_IRQ_GPU_BIT   8U

#define BCM2836_L1_IRQ_PMU_BIT   9U

void bcm2836_l1_intc_init(void);

void bcm2836_l1_intc_irq_enable(unsigned int irq);

void bcm2836_l1_intc_irq_disable(unsigned int irq);

int  bcm2836_l1_intc_irq_is_enabled(unsigned int irq);

unsigned int bcm2836_l1_intc_irq_get_active(void);

void bcm2835_armctrl_ic_init(void);

void bcm2835_armctrl_ic_irq_enable(unsigned int irq);

void bcm2835_armctrl_ic_irq_disable(unsigned int irq);

int  bcm2835_armctrl_ic_irq_is_enabled(unsigned int irq);

unsigned int bcm2835_armctrl_ic_irq_get_active(void);

 
#endif /* ZEPHYR_DRIVERS_INTERRUPT_CONTROLLER_INTC_BCM283X_H_ */