Searched refs:GICR_TYPER_CPU_NUMBER (Results 1 – 2 of 2) sorted by relevance
134 #define GICR_TYPER_CPU_NUMBER(r) (((r) >> 8) & 0xffff) macro
3242 target = GICR_TYPER_CPU_NUMBER(target) << 16; in its_cpu_init_collection()