Searched refs:GICR_TYPER (Results 1 – 3 of 3) sorted by relevance
41 #define GICR_TYPER 0x0008 macro
585 uint64_t val = arm_gic_get_typer(rdist_addr + GICR_TYPER); in arm_gic_iterate_rdists()
469 return GICR_TYPER_PROCESSOR_NUMBER_GET(sys_read64(gic_rdists[cpuid] + GICR_TYPER)); in gicv3_rdist_get_rdbase()
