Searched refs:GICD_TYPER (Results 1 – 1 of 1) sorted by relevance
40 #define GICD_TYPER (0x004) macro195 size_t max_regs = io_read32(gicd_base + GICD_TYPER) & in probe_max_it()