GICR_TYPER_CPU_NUMBER - Linux

Symbol: GICR_TYPER_CPU_NUMBER

drivers/irqchip/irq-gic-v3-its.c

target = GICR_TYPER_CPU_NUMBER(target) << 16;

tools/testing/selftests/kvm/lib/arm64/gic_v3.c

GUEST_ASSERT_EQ(GICR_TYPER_CPU_NUMBER(typer), cpu);