Symbol: GICR_TYPER_CPUNUM_SHIFT
sys/arm64/arm64/gic_v3_reg.h
124
#define GICR_TYPER_CPUNUM_MASK (0xFFFUL << GICR_TYPER_CPUNUM_SHIFT)
sys/arm64/arm64/gic_v3_reg.h
126
(((x) & GICR_TYPER_CPUNUM_MASK) >> GICR_TYPER_CPUNUM_SHIFT)
sys/arm64/vmm/io/vgic_v3.c
1487
(uint64_t)vcpu_vcpuid(hypctx->vcpu) << GICR_TYPER_CPUNUM_SHIFT;