Searched refs:GICD_TYPER (Results 1 – 6 of 6) sorted by relevance
32 ldr w9, [x0, GICD_TYPER]45 ldr w9, [x0, GICD_TYPER]
117 itlinesnr = readl(gic_dist_addr + GICD_TYPER) & 0x1f; in armv7_init_nonsec()
46 #define GICD_TYPER U(0x4) macro
12 #define GICD_TYPER 0x0004 macro
25 return mmio_read_32(base + GICD_TYPER); in gicd_read_typer()
470 itlinesnr = readl(gic_dist_addr + GICD_TYPER) & 0x1f; in gic_resume()