kernelite/gicv3_8h_source.html

#ifndef DRIVERS_GICV3_H

#define DRIVERS_GICV3_H


#include "icu/icu.h"


#include <stdbool.h>

#include <stdint.h>


void gicv3_init(const void *fdt);


bool gicv3_register_irq(uint32_t irq_num, handler_data_t handler_data);


void gicv3_unregister_irq(uint32_t irq_num);


void gicv3_handle_irq(void);


#ifdef RUN_TESTS


void gicv3_trigger_sgi(uint32_t intid, uint32_t target_aff0);


uint32_t gicv3_read_gicd_ctlr(void);


uint32_t gicv3_read_gicd_typer(void);


volatile uint32_t *gicv3_get_waker(void);


#endif /* RUN_TESTS */


#endif /* DRIVERS_GICV3_H */

gicv3_register_irq
bool gicv3_register_irq(uint32_t irq_num, handler_data_t handler_data)
Register a handler for a hardware interrupt source and enable it.
Definition gicv3.c:2489

gicv3_handle_irq
void gicv3_handle_irq(void)
EL1 IRQ handler.
Definition gicv3.c:2535

gicv3_unregister_irq
void gicv3_unregister_irq(uint32_t irq_num)
Unregister a handler for a hardware interrupt source and disable it.
Definition gicv3.c:2516

gicv3_init
void gicv3_init(const void *fdt)
Initialize the ARM GICv3 interrupt controller.
Definition gicv3.c:2415

icu.h
Interrupt Controller Unit (ICU) interface.

handler_data_t
Interrupt handler registration entry.
Definition icu.h:25