Searched refs:GICD_TYPER (Results 1 – 3 of 3) sorted by relevance
42 #define GICD_TYPER (GIC_DIST_BASE + 0x4) macro
185 gic_irqs = sys_read32(GICD_TYPER) & 0x1f; in gic_dist_init()
336 unsigned int lpi_id_bits = MIN(GICD_TYPER_IDBITS(sys_read32(GICD_TYPER)), in gicv3_rdist_setup_lpis()461 num_ints = sys_read32(GICD_TYPER); in gicv3_dist_init()
