Home
last modified time | relevance | path

Searched refs:GIC_SPI_BASE (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/include/drivers/
H A Dgic.h21 #define GIC_SPI_BASE U(32) macro
25 #define GIC_SPI_TO_ITNUM(x) ((x) + GIC_SPI_BASE)
/optee_os/core/drivers/
H A Dgic.c264 for (n = GIC_SGI_SEC_BASE; n < GIC_SPI_BASE; n++) { in gicv3_sync_redist_config()
308 for (n = GIC_SGI_SEC_BASE; n < GIC_SPI_BASE; n++) { in gic_legacy_sync_dist_config()
918 if (it >= gd->max_it || it < GIC_SPI_BASE) in gic_spi_release_to_ns()
1002 if (it < GIC_SPI_BASE) { in gic_op_configure()
1011 if (it < GIC_SPI_BASE && affinity_routing_is_enabled(gd)) { in gic_op_configure()
1049 if (it < GIC_SPI_BASE) in gic_op_enable()
1052 if (it < GIC_SPI_BASE && affinity_routing_is_enabled(gd)) { in gic_op_enable()
/optee_os/core/arch/arm/kernel/
H A Dboot.c685 GIC_SPI_BASE) || in add_optee_dt_node()
690 if (CFG_CORE_ASYNC_NOTIF_GIC_INTID >= GIC_SPI_BASE) { in add_optee_dt_node()
692 itr_id = CFG_CORE_ASYNC_NOTIF_GIC_INTID - GIC_SPI_BASE; in add_optee_dt_node()