Searched refs:GICR_TYPER_CPU_NUMBER (Results 1 – 4 of 4) sorted by relevance
324 GUEST_ASSERT_EQ(GICR_TYPER_CPU_NUMBER(typer), cpu); in gicv3_cpu_init()
134 #define GICR_TYPER_CPU_NUMBER(r) (((r) >> 8) & 0xffff) macro
3314 target = GICR_TYPER_CPU_NUMBER(target) << 16; in its_cpu_init_collection()